Logic List Mailing Archive

Utrecht Workshop on Proof Theory

16-18 Apr 2015
Utrecht, The Netherlands

From April 16-18, 2015 the Utrecht Workshop on Proof Theory will
take place at Utrecht University, the Netherlands.

The aim of this workshop is to bring together researchers from
different areas in proof theory to share results, ideas and methods.

Everybody is welcome to attend the workshop. Please register
by sending an email to fan.yang.c@gmail.com. Giving a talk is
by invitation only.

For details, see http://www.phil.uu.nl/~iemhoff/Conferenties/UWPT/