Event: International Spring School on Formalization of Mathematics – MAP 2012.
Date: March 12–16, 2012.
Location: Sophia Antipolis, France.
Website: http://www-sop.inria.fr/manifestations/MapSpringSchool/
Mar 12 2012
MAP 2012 – International Spring School on Formalization of Mathematics
