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.

24 April 2007, ACG Colloquium, Clemens Kupke and Helle Hvid Hansen

Speaker: Clemens Kupke (CWI/UvA) and Helle Hvid Hansen (CWI/VU)
Title: Bisimulations for neighbourhood structures
Date: Tuesday 24 April 2007
Time: 13:30
Location: Room M279, CWI, Kruislaan 413, Amsterdam

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