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.

31 March 2008, PROSE Colloquium, Rob van Glabbeek

Speaker: Rob van Glabbeek (NICTA)
Title: Characterizing Testing Preorders for Finite Probabilistic Processes
Date: Monday 31 March 2008
Time: 15:30-16:30
Location: Room 6.29, 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.