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.
For more information, see
https://www.uni-log.org/wk6-proof-theory.html
or contact cfp-proof-theory at informatik.uni-tuebingen.de.
Please note that this newsitem has been archived, and may contain outdated information or links.