Mar 12 2012

MAP 2012 – International Spring School on Formalization of Mathematics

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/