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.

30 October 2008, PROSE Colloquium, Francien Dechesne

Speaker: Francien Dechesne
Title: Refinement of Kripke Models for Dynamics
Date: Thursday 30 October 2008
Time: 15:30-16:30
Location: Room 6.96, HG (Main Building), TU Eindhoven

For more information, see http://www.win.tue.nl/prose/

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