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

Peter Schroeder-Heister psh at informatik.uni-tuebingen.de
Wed Apr 25 12:37:03 EDT 2018

Proof-Theoretic Semantics: Assessment and Future Perspectives
Third Tübingen Conference on Proof-Theoretic Semantics

27–30 March 2019 in Tübingen, Germany


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

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

More information about the FOM mailing list