Institute for Logic, Language and Computation

News and Events: 4 September 2012, Master of Logic defense, Kyndylan Nienhuis

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.Kassenaar at uva.nl