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.

27 September 2011, ACG Colloquium, Prof. dr. Ernst-Ruediger Olderog

Speaker: Prof. dr. Ernst-Ruediger Olderog (University of Oldenburg)
Title: Automatic Verification of Real-Time Systems with Rich Data
Date: Tuesday 27 September 2011
Time: 13:30
Location: Room L120, CWI, Science Park 123, Amsterdam

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