21 - 26 June 2018, Workshop on Proof Theory at UNILOG 2018, Vichy, France
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.