The Schedule
November 2022
Day 1
Wednesday 9th of November
Wednesday 9th of November
Arrival & Registration 13:30-14:30
16:00-16:15
coffee break
16:15-17:00
Abstract Validity-based Proof-theoretic Semantics
Abstract Validity-based Proof-theoretic Semantics
Thomas Piecha (remote)
END OF DAY
END OF DAY
Day 2
Thursday 10th of November
Thursday 10th of November
12:30-14:30
Lunch
Lunch
14:30-15:15
Proof-theoretic Validity and Proof-theoretic Completeness: A Reassessment of Prawitz's Conjecture
Proof-theoretic Validity and Proof-theoretic Completeness: A Reassessment of Prawitz's Conjecture
Peter Schroeder-Heister (remote)
15:15-16:00
Categorical view of Base-extension Semantics for Intuitionistic Logic
Categorical view of Base-extension Semantics for Intuitionistic Logic
Eike Ritter
16:00-16:15
coffee break
16:15-17:00
Edmund Robinson
Day 3
Friday 11th of November
Friday 11th of November
11:00-11:45
Proof Theoretic Semantics for Theories of Definite Descriptions
Proof Theoretic Semantics for Theories of Definite Descriptions
Nils Kürbis
12:30-14:30
Lunch
Lunch
END OF SYMPOSIUM
END OF SYMPOSIUM