Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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.