News and Events: Upcoming Events

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

21 January 2005, Colloquium on Mathematical Logic, R. Yavorsky

Speaker: R. Yavorsky (Steklov, Moscow)
Title: Gurevich abstract state machines: theory and practice
Date: Friday 21 January 2005
Time: 16:00-17:00
Location: Room P.014, Euclides Building, Plantage Muidergracht 24, Amsterdam

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.