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.

19 November 2009, PROSE Colloquium, Jeroen Keiren (OAS)

Speaker: Jeroen Keiren (OAS)
Title: Bisimulation minimisations for boolean equation systems
Date: Thursday 19 November 2009
Time: 15:45-16:45
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.