The Schedule
14 January 2022
14 January 2022
12:50 - 13:00
Welcome!
Welcome!
David Pym & Elaine Pimentel
13:20 - 13:40
The problem of explicating the concept of valid inference
The problem of explicating the concept of valid inference
Dag Prawitz
13:40 - 14:00
On Popper and Proof Theoretic Semantics
On Popper and Proof Theoretic Semantics
Thomas Piecha
Thomas Piecha
14:00 - 14:10
Break
14:30 - 14:50
14:50 - 15:10
Luiz Carlos Pereira
15:10 - 15:20
Break
15:20 - 15:40
Proof-theoretic Semantics in Sheaves
Proof-theoretic Semantics in Sheaves
Edmund Robinson
15:40 - 16:00
Discussion and closing
Discussion and closing
All times are UTC
All times are UTC