[FOM] CfP - Proof Theory @ Unilog 2018

Peter Schroeder-Heister psh at informatik.uni-tuebingen.de
Mon Jul 31 11:39:51 EDT 2017

Call for Contributed Talks - Workshop on Proof Theory


We organize a one-day workshop on proof theory at the 6th World Congress 
on Universal Logic (www.uni-log.org/start6.html), June 21-26 2018, 
Vichy, France.

Keynote speakers are Francesca Poggiolesi (Paris) and Alexander Leitsch 

We invite contributions on all aspects of proof theory, philosophical or 
technical. Topics include:

- general proof theory
- categorial proof theory
- type theory (including foundations)
- computational aspects of proofs
- consistency
- proof systems for non-classical logics
- proof editing
- ordinal analysis
- structural and substructural proof theory
- proof-theoretic treatment of paradoxes
- historical aspects of proof theory
- proof-theoretic semantics

Abstracts (one page) should be sent by September 15, 2017 to:

cfp-proof-theory at informatik.uni-tuebingen.de

Organisers: Peter Schroeder-Heister and Thomas Piecha

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

e-mail: psh at uni-tuebingen.de

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

More information about the FOM mailing list