Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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 .

Please note that this newsitem has been archived, and may contain outdated information or links.