News and Events: MoL and PhD defenses

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

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