| Monday | Tuesday | Wednesday | Thursday | Friday | |
| 09.00-10.00 |
Tutorial (Co1) |
Tutorial (Co2) |
Tutorial (Co3) |
||
| Break | |||||
| 10.15-11.15 |
Session La-3/L0 & Co-3 4 talks |
||||
| Break | |||||
| 11.30-12.30 |
Invited Lecture (Co) |
Workshop on aspect
&
Workshop on algebraic proof theory |
Invited Lecture (La) Galit Sassoon |
||
| Lunch | |||||
| 14.00-15.30 |
Session La1-/Lo & Co-1 6 talks |
Excursion |
Session La-4/Lo- & Co-4 6 talks |
Session La-6/Lo- & Co-6 6 talks |
|
| Break | |||||
| 16.00-17.30 |
Session La2-/Lo & Co-2 6 talks |
Session La-5/Lo- & Co-5 6 talks |
Session La-7/Lo- & Co-7 6 talks |
||
| Break | |||||
| 18.00-19.00 |
Invited Lecture (La) Sergei Tatevosov |
Invited Lecture (Co) |
Departure |
||