Poster of the MAP 2010 Conference Poster of the MAP 2012 Summer School Poster of the MAP 2012 Conference Poster 2011 MAP meeting in Honour of Henri Lombardi Poster of the MAP 2011 Conference

MAP, Mathematics = Algorithms + Proofs

MAP = Mathematics + Algorithms + Proofs

The MAP community consists of researchers from the now overlapping fields of certified proofs and programs, constructive mathematics, computer algebra, effective algebra (real algebraic geometry, algebraic topology, and homological algebra, ...).
This initiative started eleven years ago in Dagstuhl (2003), when the fields were still further apart. The European ForMath project (2010 - 2013) arose from the MAP community. See the MAP Manifesto for more information about MAP.

See the Section "Next Events" in this website for information on the Séminaire d'histoire des mathématiques de l'IHP (Paris, France), to be held in Paris on the 16th of January of 2015.