CFP: Workshop on Proof Theory @ UNILOG 2018
Submission deadline: October 4, 2017
Topic areas
Details
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 (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
Extended deadline:
Abstracts (one page) should be sent by October 5, 2017 to:
[email protected]
Organisers: Peter Schroeder-Heister and Thomas Piecha
(University of Tübingen)