[Agda] MAP 2014 Second announcement/Deadline extension

Cyril Cohen cohen at crans.org
Sun Mar 23 03:02:50 CET 2014


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

       *MAP 2014 - Second announcement - Call for contributions*
  			 *Deadline extension*

	       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.   The deadline  is  extended to  *Sunday March  30,
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)
* 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


More information about the Agda mailing list