Please note that this newsitem has been archived, and may contain outdated information or links.
4 September 2012, Master of Logic defense, Kyndylan Nienhuis
Candidate: Kyndylan Nienhuis
Title: Automatic Verification of Programs with Indirection
Date: Tuesday 4 September 2012
Time: 15:00
Location: Room G3.10, Science Park 904, Amsterdam
Supervisor: Jan van Eijck
For more information, please contact T.Kassenaar at uva.nl
Please note that this newsitem has been archived, and may contain outdated information or links.