1 June 2001, Colloquium on Mathematical Logic, Jan Willem Klop et. al

1 June 2001, Colloquium on Mathematical Logic, Jan Willem Klop et. al
Speakers: Jan-Willem Klop, Inge Bethke, Roel de Vrijer and Henk Barendregt
Title: to be announced
Location: Room 465, Bestuursgebouw, Heidelberglaan 8, Utrecht (bus 12 from Utrecht Central Station).
Date and Time: Friday June 1 2001, 14.00-16.00

For further information, see http://www.math.uu.nl/people/jvoosten/seminar.html.