FLoC on Sunday, July 11th

previous day next day See also the by talk program.
09:00‑10:00
(AT LT5)
Session 1
09:00‑10:00
(AT LT3)
Session 1
09:00‑10:00
(AT LT2)
SAT Invited Talk
10:00‑10:30
Coffee break
10:30‑12:30
(AT LT5)
Session 2
10:30‑12:30
(AT LT4)
Type Theory
10:30‑12:30
(AT LT3)
Session 2
10:30‑12:30
(AT LT2)
Heuristics
12:30‑14:00
Lunch
14:00‑15:00
(George Square Lecture Theatre)
FLoC Plenary Talks: tribute to Amir and Robin
15:00‑15:30
Coffee break
15:30‑17:00
(AT LT5)
Session 3
15:30‑17:00
(AT LT4)
Logic and Automata
17:15‑18:15
(AT LT4)
Complexity of CSP
15:30‑17:20
(AT LT3)
Session 3