Summer School on
Mathematics, Algorithms, and Proofs
DIMA/DISI, University of Genova, Italy
28 August - 2 September 2006

The MAP Summer School of the research group on Maps, Algorithms, and Proofs will take place at the University of Genova, Italy from Monday, August 28 to Saturday, 2 September, 2006.

The programme includes short courses given by Thierry Coquand (Goteborg), Erich Kaltofen (NCSU), Henri Lombardi (Besancon), Marie-Francoise Roy (Rennes), Francis Sergeraert (Grenoble), Helmut Schwichtenberg (Munich). Wednesday afternoon will be free, and there will be lectures on Saturday morning.

The Organizing Committee consists of John Abbott, Henri Lombardi, Hervé Perdry, Giuseppe Rosolini, Peter Schuster.