### Logic List Mailing Archive

## MAP (Mathematics, Algorithms, Proofs) Summer School, Genova, Aug-Sep 2006

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,