Please note that this newsitem has been archived, and may contain outdated information or links.
16 March 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Luís Cruz-Filipe
Speaker: Luís Cruz-Filipe
(KUN)
(KUN)
Title: Formalizing Constructive Mathematics in Type Theory
Date: Tuesday 16 March 2004
Time: 14:15-16:00
Location: TU Eindhoven, HG 6.96
For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Francien Dechesne (f.dechesne at uvt.nl).
Please note that this newsitem has been archived, and may contain outdated information or links.