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.

14 January 2014, ACG Colloquium, Matteo Cimini

Speaker: Matteo Cimini (école polytechnique)
Title: A formalization of bisimulation-up-to techniques and their meta-theory
Date: Tuesday 14 January 2014
Time: 14:00
Location: Room L.202, CWI, Science Park 123, Amsterdam

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