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 May 2006, ACG Colloquium, Marcello Bonsangue

Speaker: Marcello Bonsangue (LIACS)
Title: A logic for strong late bisimilarity
Date: Tuesday 30 May 2006
Time: 13:30
Location: Room M279, CWI, Kruislaan 413, Amsterdam

Note that the date has changed. For more information, see http://www.cwi.nl/htbin/acg/ACG.php4?mode=future

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