04/01/2002, Friday, 16:30–17:30 Room P3.10, Mathematics Building Luís Cruz-Filipe, U Nijmegen, Holanda Formalizing Mathematics in Coq