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.

16 April 2009, PROSE Colloquium, Helle Hvid Hansen

Speaker: Helle Hvid Hansen
Title: Bisimilarity in neighbourhood structures, a coalgebraic approach
Date: Thursday 16 April 2009
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.