[FOM] FW: Mathematics: Algorithms and Proofs. MAP2014

Kreinovich, Vladik vladik at utep.edu
Wed Jan 29 10:42:05 EST 2014


FYI

-----Original Message-----
From: Bas Spitters

%%% 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:
* Frederic Chyzack      (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.



More information about the FOM mailing list