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


Call for participation

If you would like to attend the conference, please send an email to Marine Gaudefroy-Bergmann 
at pts3part at informatik.uni-tuebingen.de by March 18.

Plenary speakers are:

- Vito Michele Abrusci (Roma)
- Patrizio Contu (Zürich)
- Valeria de Paiva (Cupertino)
- Marie Duzi (Ostrava)
- Nissim Francez (Haifa)
- Andrzej Indrzejczak (Lodz)
- Gerhard Jäger (Bern)
- Reinhard Kahle (Lisbon/Tübingen)
- Per Martin-Löf (Stockholm)
- Dale Miller (Palaiseau)
- Sara Negri (Helsinki)
- Luiz Carlos Pereira (Rio de Janeiro)
- Francesca Poggiolesi (Paris)
- Dag Prawitz (Stockholm)
- David Pym (London)
- Greg Restall (Melbourne)
- Peter Schroeder-Heister (Tübingen)
- Phil Scott (Ottawa)
- Göran Sundholm (Leiden)
- Heinrich Wansing (Bochum)

For the list of contributing speakers see http://ls.informatik.uni-tuebingen.de/PTS3/contributed.html.

There will be a small conference fee covering coffee breaks.

Organisers: Thomas Piecha and Peter Schroeder-Heister

-- 
Prof. Peter Schroeder-Heister
Department of Computer Science
University of Tuebingen
Sand 13
72076 Tuebingen
Germany

Phone: +49-7071-2974284 (secr. -2978958)
Fax:   +49-7071-295060
e-mail: psh at uni-tuebingen.de
http://ls.inf.uni-tuebingen.de




-------------- 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/20190221/8091b20d/attachment.p7s>