[TYPES/announce] FW: Utrecht Workshop on Proof Theory

Fri Mar 27 19:00:19 EDT 2015

Forwarding to TYPES/announcements -- I accidentally let the message through to TYPES instead. My apologies for the double posting.
Dimitrios Vytiniotis
TYPES list moderator

>>>

-----Original Message-----
From: Types-list [mailto:types-list-bounces at lists.seas.upenn.edu] On Behalf Of Iemhoff, R. (Rosalie)
Sent: Friday, March 27, 2015 12:25 PM
To: types-list at lists.seas.upenn.edu
Subject: [TYPES] Utrecht Workshop on Proof Theory

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

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