FLoC on Tuesday, July 13th

previous day next day See also the by talk program.
09:00‑10:00
(George Square Lecture Theatre)
FLoC Plenary Talk: Georg Gottlob
10:00‑10:30
Coffee break
10:30‑12:30
(AT LT5)
Session 9
10:30‑12:30
(AT LT4)
Logic and Automata
10:30‑12:30
(AT LT3)
Session 9
12:30‑14:00
Lunch
14:00‑15:00
(George Square Lecture Theatre)
FLoC Keynote Talk: J Strother Moore
15:00‑15:30
Coffee break
15:30‑17:00
(AT LT4)
Logics
15:30‑17:20
(AT LT3)
Session 10
15:30‑17:00
(AT LT2)
QBF
17:00‑18:00
(AT LT2)
Business Meeting