If you would like to know what proof-theoretic semantics is all about, please see


Invited speakers

Contributing speakers

There will be several slots for contributed talks (30 min). A call for papers will be issued later in 2018.


Participants who do not want to give a contributed talk are also welcome. Details will be given later in 2018.


Organisers: Peter Schroeder-Heister and Thomas Piecha