[TYPES] Utrecht Workshop on Proof Theory

Iemhoff, R. (Rosalie) r.iemhoff at uu.nl
Fri Mar 27 08:25:20 EDT 2015


>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 at gmail.com. Giving a talk is 
by invitation only.   

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



More information about the Types-list mailing list