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