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,