The annual meeting of the MAP community, in this edition, was held
in Monastir (Tunisia). It supposed a continuation of the first seminar
"Verification and Constructive Algebra" (Dagstuhl, January 2003).
A poster presenting the event is available in english
The Conference consisted of two main tutorials together with talks
of the participants focused on the topics of the MAP group. The
The complete program of the Conference and the list of participants can
be found in the following pdf
- Formalization of Finite Groups Theory (G. Gonthier)
- Formalization of Algebraic Topology (J. Rubio)
Here you shall find the slides of the tutorials which were given in this
MAP meeting. The title is in gray if no file has been provided yet.
Following the schedule of the sessions:
Here you shall find the slides of the talks which were given in this MAP