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.

9 November 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Georgi Jojgov

Speaker: Georgi Jojgov
Title: A stepwise approach to formalizing mathematics
Date: Tuesday 9 November 2004
Time: 14:15-16:00
Location: TU Eindhoven, MA 1.44

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

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