News and Events: Upcoming Events

Please note that this newsitem has been archived, and may contain outdated information or links.

28 November 2003, Colloquium on Mathematical Logic, Clemens Kupke, Philipp Gerhardy

Speaker: Clemens Kupke Philipp Gerhardy
Title: TBA / Refined complexity analysis of cut elimination
Date: Friday 28 November 2003
Time: 16:00-18:15
Location: Room 465, Bestuursgebouw, Heidelberglaan 8, Utrecht
(Bus 12 from Utrecht Central Station).

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

Please note that this newsitem has been archived, and may contain outdated information or links.