![]() |
Utrecht Workshop on Proof TheoryUtrecht University April 16-18, 2015 Organizers
Rosalie Iemhoff
(Utrecht University)
|
The aim of this workshop is to bring together researchers from different areas in
Everybody is welcome to attend the workshop. Please register by sending an email
proof theory to share results, ideas and methods.
to fan.yang.c@gmail.com. Giving a talk and attending the conference dinner is
by invitation only.