[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
>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 [email protected]. Giving a talk is by invitation only. For details, see http://www.phil.uu.nl/~iemhoff/Conferenties/UWPT/
