Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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.