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.