|
All lectures will be in lecture room 706, at DIMA,
via Dodecaneso 35, Genova.
Please consider the following schedule as provisional.
| Monday, 28 August |
| 9:00 am |
Helmut Schwichtenberg
Constructive Analysis |
| 10:30 am |
Break |
| 11:00 am |
Henri Lombardi
Constructive Commutative Algebra |
| 12:30 pm |
Lunch |
| 14:30 pm |
Francis Sergeraert
Constructive Homological Algebra |
| 16:00 pm |
Break |
| 16:30 pm |
Erich Kaltofen
Computer Algebra |
|
| Tuesday, 29 August |
| 9:00 am |
Marie-Francoise Roy
History of Algorithmic Real Algebra |
| 10:30 am |
Break |
| 11:00 am |
Thierry Coquand
Proof Analysis |
| 12:30 pm |
Lunch |
| 14:30 pm |
Henri Lombardi
Constructive Commutative Algebra |
| 16:00 pm |
Break |
| 16:30 pm |
Helmut Schwichtenberg
Constructive Analysis |
|
| Wednesday, August 30 |
| 9:00 am |
Erich Kaltofen
Computer Algebra |
| 10:30 am |
Break |
| 11:00 am |
Francis Sergeraert
Constructive Homological Algebra |
| 12:30 pm |
Lunch |
|
| Thursday, August 31 |
| 9:00 am |
Henri Lombardi
Constructive Commutative Algebra |
| 10:30 am |
Break |
| 11:00 am |
Erich Kaltofen
Computer Algebra |
| 12:30 pm |
Lunch |
| 14:30 am |
Marie-Francoise Roy
History of Algorithmic Real Algebra |
| 16:00 pm |
Break |
| 16:30 pm |
Francis Sergeraert
Constructive Homological Algebra |
|
| Friday, 1 September |
| 9:00 am |
Thierry Coquand
Proof Analysis |
| 10:30 am |
Break |
| 11:00 pm |
Erich Kaltofen
Computer Algebra |
| 12:30 pm |
Lunch |
| 14:30 pm |
Helmut Schwichtenberg
Constructive Analysis |
| 16:00 pm |
Break |
| 16:30 pm |
Henri Lombardi
Constructive Commutative Algebra |
|
| Saturday, 2 September |
| 9:00 am |
Francis Sergeraert
Constructive Homological Algebra |
| 10:30 am |
Break |
| 11:00 am |
Helmut Schwichtenberg
Constructive Analysis |
| 12:30 am |
End of proceedings
|
|
|
|
