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.