All plenary sessions, tutorials, the anniversary panel and WiC are held in the common room on the ground floor. For special sessions and contributed talks, please click on the link to see the location. You can download the program of the conference here.
| Time | Monday 8 | Tuesday 9 | Wednesday 10 | Thursday 11 | Friday 12 |
| 8:20 - 8:50 | Registration | ||||
| 8:50 - 9 |
Opening
|
||||
| 9 - 9:30 |
IS 1 Soskova
|
IS 3 Downey
|
IS 5 Seisenberger
|
IS 6 Beckmann
|
|
| 9:30 - 10 | |||||
| 10 - 10:30 |
Coffee
|
Coffee |
CiE 20th Anniversary Panel
|
Coffee | Coffee |
| 10:30 - 11 |
Tutorial 1a Harrison-Trainor
|
Tutorial 2a Smets
|
|||
| 11 - 11:30 | |||||
| 11:30 -12 |
Lunch
|
Lunch
|
Lunch
|
Lunch
|
|
| 12-13:30 |
Lunch
|
||||
| 13:30 -14 | IS 2 Miquel | Tutorial 1b Harrison-Trainor |
IS 4 Mayordomo
|
Tutorial 2b Smets
|
|
| 14 - 14:30 | |||||
| 14:30 - 15 | Coffee | Coffee | Coffee | Coffee | |
| 15 - 15:30 | |||||
| 15:30 - 16 | Coffee | ||||
| 16 - 16:30 | Contributed Talks 5 | ||||
| 16:30 - 17 | Coffee |
WiC
|
Coffee |
aCiE Annual Meeting
|
|
| 17 - 17:30 | Contributed Talks 4 | Conference closes | |||
| 17:30 - 18 |
Conference Dinner
|
||||
| 18 -18:30 | |||||
Special Session Legend:
| (HaPoC) Computing Knowledge: Computational Aspects of Epistemic Logics |
| Bio-inspired Computation (BiC) |
| Computable aspects of symbolic dynamics and tilings |
| Algorithmic randomness and Kolmogorov complexity |
| Computable Structure Theory |
| Quantum Computation |