| Monday | Tuesday | Wednesday | Thursday | Friday | Saturday | |
| 09:00-10:00 |
Arrival & Registration |
Invited Lecture (Comp1) Helle Hansen |
Invited Lecture (Lang1) Sarah Murray |
Invited Lecture (Comp2) Mehrnoosh Sadrzadeh |
Invited Lecture (Lang2) Rajesh Bhatt |
Invited Lecture (Log2) George Metcalfe |
| 10:00-10:30 | Coffee break | |||||
| 10:30-11:30 | Invited Lecture (Log1) Melvin Fitting |
Tutorial (Log2) Brunella Gerla |
Tutorial (Log1) Brunella Gerla |
Tutorial (Lang2) Lisa Matthewson |
Tutorial (Comp3) Joel Ouaknine |
parallel session parallel session |
| 11:30-12:00 | Coffee break | |||||
| 12:00-12:30 | Tutorial (Lang1) Lisa Matthewson |
parallel session | parallel session | parallel session | parallel session | |
| 12:30-13:00 | parallel session | parallel session | parallel session | parallel session | ||
| 13:00-15:00 | Lunch Break | |||||
| 15:00-16:00 | Tutorial (Comp1) Joel Ouaknine |
Workshop on Language & Workshop on Logic and Computation |
Tutorial (Comp2) Joel Ouaknine |
Excursion | Tutorial (Lang3) Lisa Matthewson |
|
| 16:00-16:30 | Coffee break | Coffee break | Coffee break | |||
| 16:30-17.00 | parallel session | parallel session | parallel session | |||
| 17:00-17:30 | parallel session | parallel session | parallel session | |||
| 17:30-18:00 | parallel session | parallel session | parallel session | |||