---------- Forwarded message ----------
Proof-Theoretic Semantics: Assessment and Future Perspectives
---
Third Tübingen Conference on Proof-Theoretic Semantics
27–30 March 2019 in Tübingen, Germany
http://ls.informatik.uni-tuebingen.de/PTS3/
Confirmed invited speakers:
Patrizio Contu (Zürich)
Valeria de Paiva (Cupertino, CA)
Roy Dyckhoff (St Andrews)
Nissim Francez (Haifa)
Lars Hallnäs (Borås)
Gerhard Jäger (Bern)
Reinhard Kahle (Lisbon)
F. William Lawvere (Buffalo, NY)
Per Martin-Löf (Stockholm)
Dale Miller (Palaiseau)
Sara Negri (Helsinki)
Luiz Carlos Pereira (Rio de Janeiro)
Francesca Poggiolesi (Paris)
Dag Prawitz (Stockholm)
Phil Scott (Ottawa)
Göran Sundholm (Leiden)
William W. Tait (Chicago)
Neil Tennant (Columbus, OH)
Jan von Plato (Helsinki)
Heinrich Wansing (Bochum)
A call for contributed papers will be issued at a later stage.
Organized by Peter Schroeder-Heister and Thomas Piecha
--
Peter Schroeder-Heister & Thomas Piecha
Department of Computer Science
University of Tuebingen
http://ls.informatik.uni-tuebingen.de/PTS3/