| 17 februari 2017 | Kamer F3.20, Science Park 107 | |
| 10:00-10:15 | Welkom en introductie | |
| 10:15-11:15 | Algemene inleiding in de logica | |
| Johan van Benthem | ||
| 11:15-11:30 | Pauze | |
| 11:30-13:00 | Inleiding formele logica | |
| Peter van Ormondt | ||
| 13:00-14:00 | Lunch | |
| 14:00-16:00 | Inleiding formele logica | |
| Peter van Ormondt |