calanques_sugiton.jpeg

CSL 2016 main conference schedule

Timetable of all sessions

Aug. 29, 2016

9:00 – 10:00
Invited talk
10:30 – 12:30
Algebra
14:00 – 16:00
Verification, finite models
16:00 – 16:30
Memorial talk
16:30 – 18:00
CSP
19:00 – 22:00
Welcome reception

Aug. 30, 2016

9:00 – 10:00
Invited talk
10:30 – 12:30
Finite models, Descriptive complexity
14:00 – 16:00
Homotopy type theory
16:30 – 18:00
Realizability, denotational semantics
18:00 – 20:00
CSL business meeting

Aug. 31, 2016

9:00 – 10:00
Invited talk
10:30 – 12:30
Verification
14:00 – 15:00
Ackermann Award
16:00 – 19:00
Excursion
20:00 – 23:00
Banquet

Sept. 1, 2016

9:00 – 10:00
Invited talk
10:30 – 12:30
Modal logic
14:00 – 16:00
Complexity and decision for logical theories
16:30 – 18:00
Linear logic