Proof-Theoretic Semantics, Tuebingen, 27-30 March 2019

20 views
Skip to first unread message

Marcos Silva

unread,
Apr 26, 2018, 5:57:06 PM4/26/18
to logical logical

---------- 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/





--
Marcos Silva
Philosophie macht Spaß!

new books!
"How Colours Matter to Philosophy" (Springer, 2017)
"Colours in Wittgenstein's Philosophical Development" (Palgrave, 2017)



Reply all
Reply to author
Forward
0 new messages