FLoC on Tuesday, July 20th

previous day next day See also the by talk program.
09:00‑10:00
(IF G.03)
Invited Talk
09:00‑10:00
(AT 2.11)
Invited Talk
09:00‑10:00
(IF G.07A)
Session 1
09:00‑10:00
(AT 2.14)
Session 1
09:00‑10:00
(AT 2.12)
Invited Talk
09:00‑10:00
(IF G.07)
Session 1
09:00‑10:00
(IF 1.15)
Opening
10:00‑10:30
Coffee break
10:30‑12:30
(IF G.03)
Session I: Solvers
10:30‑11:30
(IF G.07A)
Session 2
11:30‑12:30
(IF G.07A)
Session 3
10:30‑12:30
(AT 2.14)
Session 2
10:30‑12:30
(IF G.07)
Session 2
10:30‑12:30
(IF 1.15)
Technical Papers
12:30‑14:00
Lunch
14:00‑15:00
(AT 2.11)
Session 2
14:00‑15:00
(IF G.07A)
Session 4
14:00‑15:00
(AT 2.14)
Session 3
14:00‑15:00
(AT 2.12)
Automated Proofs
14:00‑15:00
(IF G.07)
Invited Talk
15:00‑15:30
Coffee break
15:30‑16:30
(IF G.07A)
Session 5
16:30‑17:00
(IF G.07A)
Session 6
15:30‑17:00
(AT 2.14)
Session 4
15:30‑16:30
(AT 2.12)
Protocol Logics
16:30‑18:00
(IF G.07)
Session 5
15:30‑17:00
(IF 1.15)
Demos & Discussion
19:00‑22:00
( )
Workshop Dinner (tentative)