Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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.

Please note that this newsitem has been archived, and may contain outdated information or links.