27-30 Mar 2019
Tuebingen, Germany
Proof-Theoretic Semantics: Assessment and Future Perspectives
---
Third Tu?bingen Conference on Proof-Theoretic Semantics
27?30 March 2019 in Tu?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/
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam