Call for participation. The MAP group (see http://www.disi.unige.it/map/) MAP = Mathematics, Algorithms, Proofs organises a one week summer school in Genova (Italy) from Monday 28th August 2006 to Saturday 2nd September 2006. The programme is as follows: Thierry Coquand (Goteborg) : Proof analysis 3h Erich Kaltofen (NCSU, USA) : Computer algebra 6h Henri Lombardi (Besancon) : Constructive commutative algebra 6h Marie-Francoise Roy (Rennes) : History of algorithmic real algebra 3h Francis Sergeraert (Grenoble) : Constructive homologica algebra 6h Helmut Schwichtenberg (Munich): Constructive analysis 6h Wednesday afternoon : free Saturday morning : included An on-line registration form is available from http://www.disi.unige.it/map/. ***** The deadline for registration is 31 May 2006. ***** Successful registration will be notified automatically by email. The registration fee of 180 Euro will include double-room shared accommodation from Sunday (arrival) to Saturday (departure) as well as lunch and dinner from Monday to Friday. The fee is to be payed in cash (Euro) upon arrival (no credit cards). See the aforementioned web page for more details. The organising committee: Henri Lombardi, Herve Perdry, Giuseppe Rosolini, Peter Schuster, and John Abbott