[FOM] CfP Proof-Theoretic Semantics, 27-30 March 2019, Tübingen

[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 contributed talks

We invite submissions for 30min-talks on any topic of proof-theoretic 
semantics. We especially encourage young researchers to contribute.

Confirmed invited speakers include:

- 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)
- Jan von Plato (Helsinki)
- Heinrich Wansing (Bochum)

If you would like to give a talk, please send a one-page abstract to 
Thomas Piecha at pts3cfp at informatik.uni-tuebingen.de. The deadline for 
submission is 1 October 2018. We will notify you by 31 October of 
acceptance or rejection.

Participants who do not want to give a talk are also welcome. In that 
case please register by email to Marine Gaudefroy-Bergmann at 
pts3part at informatik.uni-tuebingen.de by 31 October 2018.

There will be a small conference fee to cover 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/20180720/36b7472e/attachment.p7s>