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.

7 June 2005, Zuidelijk Interuniversitair Colloquium (ZIC), Lionel Mamane

Speaker: Lionel Mamane
Title: Surreal Numbers in Coq and Type Theory
Date: Tuesday 7 June 2005
Time: 14:15-16:00
Location: TU Eindhoven, HG 8.61

For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne ().

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