FLoC on Sunday, July 18th

previous day next day See also the by talk program.
09:00‑10:00
(AT LT4)
Invited Talk
10:00‑10:15
(AT LT4)
CAV Award Ceremony
09:00‑10:00
(AT LT2)
Authorization
09:00‑10:00
(AT LT5)
Induction
10:00‑10:30
Coffee break
10:30‑12:30
(AT LT4)
Synthesis
10:30‑12:30
(AT LT2)
Information Flow
10:30‑12:30
(AT LT5)
Decision Procedures
12:30‑14:00
Lunch
14:00‑15:00
(George Square Lecture Theatre)
FLoC Keynote Talk: Deepak Kapur
15:00‑15:30
Coffee break
17:35‑17:50
(AT LT4)
Competition Results
15:30‑17:00
(AT LT3)
CHR and CLP
15:30‑17:00
(AT LT5)
Arithmetic
17:10‑17:50
(AT LT5)
Business Meeting