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

Title: Automatic Verification of Programs with Indirection
Date and time: Tuesday 4 September 2012, 15:00
Location: Room G3.10, Science Park 904, Amsterdam
Supervisor: Jan van Eijck

For more information, please contact T.Kassenaaruva.nl