Monastir, Tunisia: Mathematics-Algorithms-Proofs

Conference Mathematics-Algorithms-Proofs: Formalization of Mathematics, Monastir (Tunisia)
14th to 18th of December 2009
Organization Committee: Thierry Coquand (Göteborg), Henri Lombardi (Besançon), Marie-Françoise Roy (Rennes), Ihsen Yengui (Sfax)
This conference enters in the scope of the activities of the group “Mathematics-Algorithms-Proofs ” which was created in January 2003. The MAP group intends to gather people with connected topics of interest, such as constructive algebra, computer algebra, designers and users of proof systems (see MAP’s web page: http://map.disi.unige.it). The main theme of the conference will be about the formalization of mathematics. The timeliness of this theme is attested by the publication of a special issue of the AMS Notices on this topic (see http://www.ams.org/notices/200811).
The temporary list of tutorials is :
Formalism of Finite Groups Theory (G. Gonthier)
Formalism of Algebraic Topology (J. Rubio)
Besides 30 min or 45 min research talks, there will be tutorial talks.
Web page: http://map.disi.unige.it/index.php?q=monastir/index