FLoC on Monday, July 12th

previous day next day See also the by talk program.
09:00‑10:00
(AT LT5)
ITP Invited Talk
09:00‑10:00
(AT LT4)
Invited Lecture
09:00‑10:00
(AT LT3)
Session 4
09:00‑10:00
(AT LT2)
SAT Invited Talk
10:00‑10:30
Coffee break
10:30‑12:30
(AT LT5)
Session 5
10:30‑12:30
(AT LT4)
Semantics
10:30‑12:30
(AT LT3)
Session 5
12:30‑14:00
Lunch
14:00‑15:00
(AT LT5)
Session 6
14:00‑15:00
(AT LT4)
Finite Model Theory
14:00‑15:00
(AT LT3)
Session 6
14:00‑14:50
(AT LT2)
SAT Usage
15:00‑15:30
Coffee break
15:30‑17:00
(AT LT5)
Session 7
17:00‑18:00
(AT LT5)
Business Meeting
15:30‑17:00
(AT LT4)
Finite Model Theory
17:15‑18:15
(AT LT4)
Logics
16:00‑17:00
(AT LT3)
Session 7
17:15‑18:15
(AT LT3)
Session 8
15:30‑17:20
(AT LT2)
QBF