Fachbereich Informatik

Fachbereich Informatik - Aktuell


Third Tübingen Conference on Proof-Theoretic Semantics, 27 - 30 March 2019

Proof-Theoretic Semantics

Assessment and Future Perspectives


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

Invited speakers

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 pts3cfpspam prevention@informatik.uni-tuebingen.de.
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 pts3partspam prevention@informatik.uni-tuebingen.de by 18 March 2019.

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


We gratefully acknowledge financial support by DFG - Deutsche Forschungsgemeinschaft and DLMPST - Division of Logic, Methodology and Philosophy of Science and Technology.

Organisers: Thomas Piecha and Peter Schroeder-Heister