[FOM] CfP - Proof Theory @ Unilog 2018

[Peter Schroeder-Heister]

Call for Contributed Talks - Workshop on Proof Theory

https://www.uni-log.org/wk6-proof-theory.html

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 
(Vienna).

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
Germany

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: 4167 bytes
Desc: S/MIME Cryptographic Signature
URL: </pipermail/fom/attachments/20170731/9b2849bb/attachment.p7s>