[FOM] Proof-Theoretic Semantics, Tuebingen, 27-30 March 2019

[Peter Schroeder-Heister]

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/




-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5469 bytes
Desc: S/MIME Cryptographic Signature
URL: </pipermail/fom/attachments/20180425/5525d7e7/attachment.p7s>