[TYPES] Utrecht Workshop on Proof Theory

"Iemhoff, R. (Rosalie)" <[email protected]>
Newsgroups gmane.comp.science.types
Message-ID <[email protected]> 
[ 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-Re5JQEeQqe9fmgfxC/sS/[email protected] Giving a talk is 
by invitation only.   

For details, see http://www.phil.uu.nl/~iemhoff/Conferenties/UWPT/
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.