Monastir, 2009

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)

The complete program of the Conference and the list of participants can be found in the following pdf file.

Tutorials

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:

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

Talks

Here you shall find the slides of the talks which were given in this MAP meeting:

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"