Map Spring School on the Formalization of Mathematics
This page has been moved to
http://www-sop.inria.fr/manifestations/MapSpringSchool