| Oostindisch Huis, VOC-zaal |
|
| 10.00-11.00 |
|
Constructive set theory - an overview (abstract)(slides)
|
| |
|
Benno van den Berg |
| |
Coffee-Break |
|
| 11.30-12.30 |
|
Constructive Taxonomy (abstract)(slides)
|
| |
|
Joan Rand Moschovakis |
| |
Lunch |
|
| 14.00-15.00 |
|
The structure of constructive proofs (abstract)(slides) |
| |
|
Rosalie Iemhoff |
| |
| Tinbergenzaal, Trippenhuis |
|
| 16.00-18.00 |
|
Arend Heyting Lecture |
| |
|
The Church-Turing Thesis and Relative Recursion (abstract)(slides)
|
| |
|
Yiannis Moschovakis |
