MAP 2014 — Mathematics, Algorithms and Proofs

Institut Henri Poincaré, Paris, May 26 - 30, 2014

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.

In 2014, the MAP workshop will take place in Paris, during the special trimester Semantics of proofs and certified mathematics of Institut Henri Poincaré.

News
(03/06/2014) The MAP meeting is over. Thank you for coming.
Most slides are available on the program page


Warning: fopen(index.log): failed to open stream: Permission denied in /home/cohen/www/map2014/index.php on line 43

Warning: fwrite() expects parameter 1 to be resource, bool given in /home/cohen/www/map2014/index.php on line 44

Warning: Use of undefined constant REMOTE_HOST - assumed 'REMOTE_HOST' (this will throw an Error in a future version of PHP) in /home/cohen/www/map2014/index.php on line 45

Notice: Undefined index: REMOTE_HOST in /home/cohen/www/map2014/index.php on line 45

Warning: Use of undefined constant REMOTE_ADDR - assumed 'REMOTE_ADDR' (this will throw an Error in a future version of PHP) in /home/cohen/www/map2014/index.php on line 45

Warning: fwrite() expects parameter 1 to be resource, bool given in /home/cohen/www/map2014/index.php on line 45

Warning: fclose() expects parameter 1 to be resource, bool given in /home/cohen/www/map2014/index.php on line 46