News and Events: MoL and PhD defenses

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

19 October 2010, Master of Logic defense, Remi Turk

Candidate: Remi Turk
Title: A modern back-end for a dependently typed language
Date: Tuesday 19 October 2010
Time: 15:00
Location: Room G4.15, Science Park 904, Amsterdam
Supervisor: Andres Löh and Piet Rodenburg

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