21-26 Jun 2018
Vichy, France
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@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@uni-tuebingen.de http://ls.inf.uni-tuebingen.de -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam