Class B (Zaal 1.07)

Rooms

The room can also be found upstairs on the first floor, turning left after walking up the stairs (opposite Class A).

Opposite Class A (Zaal 1.05):

Opposite Class A (Zaal 1.05)

Enter Discussion Room (Zaal 1.06)

Discussion Room (Zaal 1.06)

Class B (Zaal 1.07):

Class B (Zaal 1.07)

10:50	On the non-classical, non-monotonic and uniform proof-theoretic validity of Weak Excluded Middle Antonio Piccolomini d'Aragona
11:10	A survey of two strands in proof-theoretic semantics Leonardo Ceragioli, Francesco Montesi, Antonio Piccolomini d'Aragona
11:30	Meaningful proof systems and bilateralism Robin Martinot
11:50	Unification for weak classical modal logics Mojtaba Mojtahedi
14:00	Predicative set theory: a new foundation for feasible mathematics Amirhossein Akbar Tabatabai
14:20	Towards computing uniform interpolants for KM in Rocq Ian Shillito
14:40	Non-deterministic operations in applicative theories Marcel Ertel
15:00	Proof logging the generalized totalizer encoding Carlos Cantero