| Time | Monday 8 | Tuesday 9 | Wednesday 10 | Thursday 11 | Friday 12 |
| 8 - 8:30 |
Registration
|
||||
| 8:30 - 9 | |||||
| 9 - 9:30 |
IS 2 Downey
|
CiE 20th anniversary+aCiE meeting
|
IS 5 Seisenberger
|
IS 6 Beckmann
|
|
| 9:30 - 10 |
IS 1 Soskova
|
||||
| 10 - 10:30 | Coffee | Coffee | Coffee | ||
| 10:30 - 11 |
Tutorial 1a Harrison-Trainor
|
Contributed Talks
|
Tutorial 2a Smets
|
Special Sessions S & Q
|
|
| 11 - 11:30 | |||||
| 11:30 -12 |
Lunch
|
Lunch
|
Lunch
|
Lunch
|
|
| 12-13:30 |
Lunch
|
||||
| 13:30 -14 |
Tutorial 1b Harrison-Trainor
|
IS 3 Miquel
|
IS 4 Mayordomo
|
Tutorial 2b Smets
|
|
| 14 - 14:30 |
Special Sessions S & Q
|
||||
| 14:30 - 15 | Coffee | Coffee | Coffee | Coffee | |
| 15 - 15:30 |
Special Sessions A & C
|
Special Sessions A & C
|
Special Sessions H & B
|
Special Sessions H & B
|
|
| 15:30 - 16 | |||||
| 16 - 16:30 |
Contributed Talks
|
||||
| 16:30 - 17 | Coffee | Coffee |
WiC
|
Conference Dinner
|
|
| 17 - 17:30 |
Contributed Talks
|
Contributed Talks
|
Conference closes | ||
| 17:30 - 18 | |||||
| 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 |