Program for Friday, August 12th: 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 FRIDAY, AUGUST 12TH: 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

09:00-10:30

09:00-10:30

09:00-10:30

1st invited talk and paper presentation

09:00-10:30

Celebrating 20 years of the SMT workshop

09:00-10:30

09:30-10:30

09:30-10:30

10:00-10:30

11:00-12:30

Automation and Tooling

11:00-12:30

11:00-12:30

11:00-12:30

Paper presentations

11:00-12:30

Theories and Proofs

11:00-12:30

11:00-12:30

11:00-12:30

14:00-15:30

Presenting and Working with Coq Code

14:00-15:30

14:00-15:35

14:00-15:30

2nd invited talk and paper presentation

14:00-15:30

Standards and benchmarks - Business meeting

14:00-15:30

14:00-15:30

14:00-15:30

16:00-17:00

Coq and its Ecosystem

16:00-16:30

Paper presentation

16:00-16:45

Update on Proof Standardization (Joint Session with PAAR)

16:00-16:45

Update on Proof Standardization (Joint Session with PAAR)

16:00-17:00

16:00-17:15

16:30-17:30

Business meeting

16:45-17:30

WG 2 business meeting and plannning

08:30-09:00 Coffee & Refreshments

10:30-11:00 Coffee Break

12:30-14:00 Lunch Break

15:30-16:00 Coffee Break

Disclaimer | Powered by EasyChair Smart Program