Please note that this newsitem has been archived, and may contain outdated information or links.
23 November 2004, Lectures on occasion of Dick de Jongh's 65th birthday
Date: 23 November 2004
Time: 13:00-18:00
Location: Herengracht 182, room 0.07
Preliminary program:
| 13.00-13.30 | Welcome with tea or coffee. |
| 13.30-14.00 |
Albert Visser: Dick de Jongh and provability |
| 14.10-14.40 |
Rosalie Iemhoff: Dick and rules |
| 14.50-15.05 |
Ingrid van Loon: Dick de Jongh, a master of logic |
| 15.05-15.20 | Tea break |
| 15.20-15.50 |
Yoav Seginer: A topic from learning theory |
| 16.00-16.30 |
Jaap van Oosten: Proving maximality results by realizability |
| 16.40-17.40 | Drinks |
For more information mail to anne at science.uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.