News and Events: MoL and PhD defenses

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

27 August 2013, Master of Logic defense, Hans Erik Bugge Grathwohl

Candidate: Hans Erik Bugge Grathwohl
Title: Programming with Classical Proofs
Date: Tuesday 27 August 2013
Time: 11:00
Location: room F1.15, Science Park 107, Amsterdam
Supervisor: Herman Geuvers and Inge Bethke
For more information, please contact

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