Universiteit van Amsterdam


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.

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X