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 and french.

The Conference consisted of two main tutorials together with talks of the participants focused on the topics of the MAP group. The tutorials were:

- Formalization of Finite Groups Theory (G. Gonthier)
- Formalization of Algebraic Topology (J. Rubio)

- Georges Gonthier; "Formalization of finite groups"
- Julio Rubio; "Formalization of Algebraic Topology" (Session 1, Session 2, Session 3, Session 4)

- Mohamed Barakat; "Homalg- a framework for homological computations"
- Marie-Francoise Roy; "Sylvester double sums and subresultants"
- Bas Spitters; "Numerical integration in Coq"
- Peter Schuster; "Unique solutions: Attempts to demystify a mystery"
- César Domínguez; Data structures and algorithms for Simplicial Topology in proof assistants"
- Yann Kiefer; Exact, abstract, certificable computations"
- Daniel Bembé; "A certificate for Budan's theorem"
- Henry Lombardi and Thierry Coquand; " Constructive Homological Algebra (following Northcott)"
- Annick Valibouze, Ines Abdeljaoued and Alia Ben Kahla; "Séparateurs Algébriques dans la Bio-systémique"