Program for Thursday, August 11th: Session View

FLoC 2022 logo

FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

PROGRAM AUTHORS KEYWORDS SLIDES VOLUMES

FLoC | LICS | ICLP | FSCD | NMR | KR | ITP | CP | SAT | CSF | DL | CAV | IJCAR | Olympic Games | SYNT | HoTT/UF | PC | TERMGRAPH | FoMLAS | ABR | PAAR | FOMEO | XLoKR | PERR | CHANGE | VeriProp | NSV | PLP | WST | IFIP-WG1.6 | QBF | ThEdu | DECFOML | ModRef | ASPOCP | MC | LMML | GDE | WPTE | GuttmanFest | iPRA | FCS | BCORE | UNIF | Coq | WOLVERINE | PDAR | Isabelle | SMT | ASL | DatalogMTL | TLLA-LINEARITY | LFMTP | IWC | ARQNL | REAI | PCCR | VardiFest | WiL | FMBC | Mentoring Workshop | SC^2 | LogTeach | POS | FRIDA | DSV

PROGRAM FOR THURSDAY, AUGUST 11TH: SESSION VIEW

Days:

View: with abstracts talk overview

8:30

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

18:30

19:00

19:30

08:55-09:00

09:00-10:30

SAT/SMT Solving

09:00-10:30

09:00-10:30

09:00-10:30

Model Counting: Applications

09:00-10:30

09:00-10:30

09:00-10:30

Parallel algorithms

09:00-10:30

Invited talk #1

09:00-10:30

09:00-10:30

SMT & Automated Deduction (University Level)

09:00-10:00

09:00-10:30

09:00-09:05

09:05-10:25

09:10-10:30

09:15-10:30

09:15-10:30

Keynote Presentation

09:30-10:30

09:30-10:30

11:00-12:30

11:00-12:30

Model Checking (I)

11:00-11:45

Blockchain and Real-world Security

11:00-12:30

Formal Methods for Smart Contracts

11:00-12:30

11:00-12:40

11:00-12:30

11:00-12:30

Model Counting: Applications & Experiments

11:00-12:30

11:00-12:30

11:00-12:30

Parallel SAT solving

11:00-12:30

Research Papers

11:00-12:30

Arithmetics and higher-order reasoning

11:00-12:30

11:00-12:30

Proof Tree Builder & Rule Based ATP

11:00-12:00

11:00-12:30

11:00-12:20

12:00-12:30

Secure Hardware

12:00-12:30

14:00-15:30

14:00-15:30

Model Checking (II) and Synthesis

14:00-14:45

Analysis for Security and Privacy

14:00-15:15

Formal Methods for Blockchain Protocols

14:00-15:30

14:00-15:30

14:00-15:30

14:00-15:30

Algorithms & Complexity

14:00-15:30

14:00-15:30

14:00-15:30

Parallel Theorem Proving & SAT solving

14:00-15:00

Research Papers

14:00-15:30

14:00-15:30

14:00-15:30

Proofs in Education (High-School Level)

14:00-14:30

14:00-15:30

14:00-15:20

14:30-15:30

15:00-15:30

15:15-15:30

16:00-17:30

16:00-17:30

Industrial Use of Formal Methods

16:00-16:45

Formal Methods for 2nd Layers/off-chain Protocols

16:00-17:30

16:00-17:30

16:00-17:30

Sampling and First Order

16:00-17:00

16:00-17:30

16:00-17:30

Solver diversification & Discussion

16:00-17:00

16:00-17:30

SMT-COMP Report and Tool Presentation

16:00-17:00

16:00-17:00

Business Meeting & Closing

16:00-17:00

16:00-17:20

16:45-17:00

17:00-17:15

Community meeting, organisation

17:00-18:00

08:30-09:00 Coffee & Refreshments

10:30-11:00 Coffee Break

12:30-14:00 Lunch Break

15:30-16:00 Coffee Break

18:00-19:30 Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event

Disclaimer | Powered by EasyChair Smart Program