The Coq mailing list

[Cyril Cohen <cyril.cohen AT gu.se>]

%%% We apologize if already you received this mail %%%

        *MAP 2014 - First announcement - Call for contributions*

               Mathematics, Algorithms and Proofs 2014,
                Institut Henri Poincaré, Paris, France

                          May 26 - 30, 2014

 The conference brings together  people from the communities of formal
proofs,  constructive  mathematics,  computer  algebra  and  effective
algebraic  geometry (in  a  broad  sense).  It  is  a continuation  of
previous meeting  in Dagstuhl (2003  and 2005), Luminy  (2004), Castro
Urdiales  (2006), Leiden  (2007  and 2011),  Trieste (2008),  Monastir
(2009), Logroño (2010) and Konstanz (2012) see:

                      http://map.disi.unige.it/

 In 2014, the  conference will take place at  Institut Henri Poincaré,
in the center of Paris, France. It will be part of a special trimester
on  "Semantics of  proofs and  certified  mathematics" at  the IHP  in
Paris.

              http://www.ihp.fr/en/ceb/trimester/proofs

 Submission for a contributed talk consists in a short PDF abstract of
maximum one page before *Sunday  March 23, 2014*.  The submission site
is https://www.easychair.org/conferences/?conf=map-ihp2014

 The  objective  of  the  conference  is to  bridge  the  gap  between
conceptual (abstract) and  computational (constructive) mathematics by
providing  a computational understanding  of abstract  mathematics. We
are not only interested in correct algorithms however, but also in the
mathematical clarity that these concrete presentations provide.

 Invited tutorial speakers:
* Konstantin Mischaikow (Rutgers)
* Claire Tête           (U Poitiers)

 Invited speakers:
* Frédéric Chyzak       (Inria Saclay)
* Alain Herremann       (U Rennes)
* Luca Moci             (Institut Mathématique de Jussieu)
* Grant Passmore        (U Edinburgh)                  To Be Confirmed
* Claude Quitté         (U Poitiers)
* Christophe Raffalli   (U Savoie)
* Ana Romero            (U Rioja)
* Noam Zeilberger       (Inria-Microsoft Research)

 Program committee:
* Cyril Cohen           (U Gothenburg)
* Thierry Coquand       (U Gothenburg)
* Henri Lombardi        (U Besançon)
* Marie-Françoise Roy   (U Rennes)
* Bas Spitters          (Independent Researcher)

 Registration and Future Announcements:
Please  register at https://lists.chalmers.se/mailman/listinfo/map2014
to ensure that you receive further information.

 Website for MAP 2014 edition:
http://perso.crans.org/cohen/map2014/

 Contact address:
Please contact Cyril Cohen 
<cohen AT crans.org>
 if you have questions.

-- 
Cyril Cohen for MAP Program Committee