News and Events: Upcoming Events

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

10 September 2004, Colloquium on Mathematical Logic, Alexander Leitsch

Speaker: Alexander Leitsch (Vienna)
Title: CERES: Cut-Elimination by Resolution
Date: Friday 10 September 2004
Time: 16:00-17:00
Location: Room 048, 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.