Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

21 - 26 June 2018, Workshop on Proof Theory at UNILOG 2018, Vichy, France

Date: 21 - 26 June 2018
Location: Vichy, France
Deadline: Friday 15 September 2017

We organize a one-day workshop on proof theory at the 6th World Congress on Universal Logic. Keynote speakers are Francesca Poggiolesi (Paris) and Alexander Leitsch (Vienna). Organisers: Peter Schroeder-Heister and Thomas Piecha.

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