The programme was:
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 homological algebra | 6h |
Helmut Schwichtenberg (Munich) | Constructive analysis | 6h |
More detailed information about the Summer School can be found in the following web page.
The corresponding lecture notes and/or transparencies of the six courses are available here.
The organising committee:
Henri Lombardi, Hervé Perdry, Giuseppe Rosolini, Peter Schuster.