Atlas home || Conferences | Abstracts | about Atlas
Host: Faculty of Sciences of Sfax
Sponsor: IMU, SMT
Email: Henri.Lombardi@univ-fcomte.fr, ihsen_yengui@yahoo.fr
Organizers: Thierry Coquand (Göteborg), Henri Lombardi (Besançon), Marie-françoise Roy (Rennes), Ihsen Yengui (Sfax)
Description:
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 wil 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 topoic (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)
Mail Address:
ihsen_yengui@yahoo.fr, Henri.Lombardi@univ-fcomte.fr
Submitted by: Ihsen Yengui
Date received: October 07, 2009
© 2008 Atlas Conferences Inc.