The Schedule

14 January 2022

12:50 - 13:00

Welcome!

David Pym & Elaine Pimentel

13:00 - 13:20

Peter Schroeder-Heister

13:20 - 13:40

The problem of explicating the concept of valid inference

Dag Prawitz

13:40 - 14:00

On Popper and Proof Theoretic Semantics

Thomas Piecha

14:00 - 14:10

Break

15:10 - 15:20

Break

15:20 - 15:40

Proof-theoretic Semantics in Sheaves

Edmund Robinson

15:40 - 16:00

Discussion and closing

All times are UTC