Each day of the summer school, all 5 courses will have an 80 minutes time slot. There will be no parallel sessions, so all students are able – and strongly encouraged – to attend all courses.
The daily schedule is as follows:
On Monday at 8:50 we will have a short introduction to the School, on all other days the program starts at 9:00AM.
| Time | Activity |
|---|---|
| 09:00–10:20 | Patrick Blackburn: Worlds, Times and Things |
| 10:20-10:40 | Coffee break |
| 10:40-12:00 | Gaia Belardinelli: Formal models of attention* |
| 12:00-13:20 | Lunch break |
| 13:20-14:40 | Balder ten Cate: Logic, Data Examples and Learning |
| 14:40-15:00 | Coffee break |
| 15:00-16:20 | Bahareh Afshari: Temporal Logics in Computer Science* |
| 16:20-16:40 | Coffee break |
| 16:40-18:00 | Vaishak Belle: Logic meets Learning: Explanations and LLM-based symbolic executors |
* Except Thursday, when Gaia and Bahareh are swapping lecture slots.