Day 1
Monday 18th of September
Monday 18th of September
Arrival 09:00
10:00
Intensional Proof-theoretic Semantics and the Identity of Formula Occurrences
Intensional Proof-theoretic Semantics and the Identity of Formula Occurrences
Peter Schroeder-Heister
10:40
coffee break
12:10
Lunch
Lunch
14:10
Classical and Intuitionistic Proofs: an Ecumenical View of Proof-theoretic Semantics
Classical and Intuitionistic Proofs: an Ecumenical View of Proof-theoretic Semantics
Victor Nascimento (remote)
15:00
coffee break
17:20
END OF DAY
END OF DAY
Day 2
Tuesday 19th of September
Tuesday 19th of September
10:50
coffee break
13:00
Lunch
Lunch
14:30
Bilateralism and Connexive Logic
Bilateralism and Connexive Logic
Heinrich Wansing (remote)
16:10
END OF SYMPOSIUM
END OF SYMPOSIUM