| 17:00-17:15 |
Inloop |
|
| 17:15-18:15 |
Lezing 1: Logica Nu (slides) Sonja Smets is hoogleraar Logica en Kenleer aan de UvA en wetenschappelijk directeur van het ILLC. |
|
| 18:15-19:00 | Avondeten | |
| 19:00-20:00 |
Lezing 2: Volledigheid en onvolledigheid (slides) Yde Venema is hoogleraar grondslagen van de wiskunde en de theoretische informatica en voormalig directeur van het ILLC. |
|
| 20:00-20:15 | Koffiepauze | |
| 20:15-21:00 | Discussie | |
| 21:00-21:45 | Borrel |