[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