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.

10 November 2006, Master of Logic defense, Gaelle Fontaine

Candidate: Gaelle Fontaine
Title: Axiomatization of ML and Cheq
Date: Friday November 10, 2006
Time: 14:00
Location: Room 3.27, Euclides Building, Plantage Muidergracht 24, Amsterdam
Supervisor: Yde Venema

For more information, please contact

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