Program


¤ Courses and lecturers

Proof analysis,
Thierry Coquand, Goteborg

Computer algebra,
Erich Kaltofen, NCSU

Constructive commutative algebra,
Henri Lombardi, Besancon

History of algorithmic real algebra ,
MarieFrancoise Roy, Rennes

Constructive homological algebra,
Francis Sergeraert, Grenoble

Constructive analysis,
Helmut Schwichtenberg, Munich
¤ Notes

