Â
All times are UTC
13:20 - 13:30
Alex & Elaine & Tristan
13:30 - 14:10
Philippa Gardner
14:10 - 14:50
Edmund Robinson
14:50 - 15:30
Coffee break 15:30 -- 16:00
16:00 - 16:40
Resource Logics: Semantics and Proofs - A singular
Didier Galmiche
16:40 - 17:20
Alex Gheorghiu and Tao Gu
17:20 - 17:40
Peter Schroeder-Heister
17:40 - 18:00
Pub! The Court from 18.30h on!!!