The Schedule
Â
All times are UTC
13:20 - 13:30
Kickoff for PymFest
Kickoff for PymFest
Alex & Elaine & Tristan
13:30 - 14:10
Unified compositional symbolic execution
Unified compositional symbolic execution
Philippa Gardner
14:10 - 14:50
Representability and Consequence
Representability and Consequence
Edmund Robinson
14:50 - 15:30
Category-theoretic semantics of proof-search
Category-theoretic semantics of proof-search
Eike Ritter
Eike Ritter
Coffee break 15:30 -- 16:00
16:00 - 16:40
Resource Logics: Semantics and Proofs - A singular
and fruitful collaboration with David Pym
and fruitful collaboration with David Pym
Didier Galmiche
16:40 - 17:20
Why David (and us) care about Proof-theoretic Semantics
Why David (and us) care about Proof-theoretic Semantics
Alex Gheorghiu and Tao Gu
17:20 - 17:40
Special short talk
Special short talk
Peter Schroeder-Heister
17:40 - 18:00
Open floor
Open floor
Pub! The Court from 18.30h on!!!