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

Invited speakers

Unfortunately, Patrizio Contu, Lars Hallnäs, William Lawvere, William Tait, Neil Tennant and Jan von Plato are unable to attend.

Contributing speakers

We invite submissions for 30min-talks on any topic of proof-theoretic semantics. We especially encourage young researchers to contribute.
If you would like to give a talk, please send a one-page abstract to Thomas Piecha at
The deadline for submission is 1 October 2018. We will notify you by 31 October of acceptance or rejection.


Participants who do not want to give a contributed talk are also welcome. Please register by email to Marine Gaudefroy-Bergmann at by 18 March 2019.

There will be a small conference fee to cover coffee breaks.