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
For more information, see http://acg.project.cwi.nl/htbin/acg/ACG.php4?tid=281
Please note that this newsitem has been archived, and may contain outdated information or links.