News and Events: MoL and PhD defenses

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

22 March 2005, PhD defense, Clemens Grabmayer

Candidate: Clemens Grabmayer
Title: Relating Proof Systems for Recursive Types
Date: Tuesday 22 March 2005
Time: 13:45
Location: Aula, Vrije Universiteit, de Boelelaan 1105
Promotor: Prof.dr J.W.Klop
Copromotor: dr R.C. de Vrijer

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