Programme for the Symposium
| Wed 26 | Thu 27 | Fri 28 | Sat 29 | Sun 30 | |
| 8:15 - 8:45 | Registration | ||||
| 8:45 - 9:00 | Opening | ||||
| 9:00 - 10:00 | Plenary talk: Ferreira (✎) | Tutorial: Džamonja (✎) | Tutorial: Džamonja (✎) | Plenary talk: Sadrzadeh (✎) | Plenary talk: Stephanou (✎) |
| 10:00 - 10:30 | coffee break | coffee break | coffee break | coffee break | coffee break |
| 10:30 - 11:30 | Plenary talk: Speissegger (✎) | Model Theory special session | Philosophy and ST special session | Computer Science special session | Contributed talk: Y. Moschovakis (✎) |
| 11:30 - 12:30 | Tutorial: Džamonja (✎,✎) | Kaiser (✎), Jones (✎), Hasson (✎) | Sinapova (✎) Sami (contributed talk, ✎) |
Schmitz (✎), Sokolova (✎), Vazou (✎) | Plenary talk: Slaman (11:00 - 12:00, ✎) |
| 12:30 - 14:00 | lunch | lunch | Excursion | lunch | Closing (12:00 - 12:30) |
| 14:00 - 15:00 | Plenary talk: Ronchi Della Rocca (✎) | Plenary talk: Bagaria (✎) | Plenary talk: Zilber | ||
| 15:00 - 16:15 | Contributed talks (Computer Science) | Contributed talks (Set Theory) | Contributed talks (Philosophy of Logic) | ||
|
Kavvos (✎) Aceto, Anastasiadi, Ingolfsdottir (✎) Aceto, Achilleos, Francalanza, Ingolfsdottir (✎) |
Da Silva (✎) Lupini, Panagiotopoulos (✎) Kanellopoulos, Karamanlis (✎) |
Conti (✎) Dimitracopoulos (✎) Rivello (✎) |
|||
| 16:15 - 16:45 | coffee break | coffee break | poster and feedback session @ coffee break | ||
| 16:45 - 18:30 | Contributed talks (Proofs/Computability) | Contributed talks (Model Theory) | Contributed talks (from 17:15, CS II) | ||
|
J. Moschovakis (✎) Lewis-Smith, Oliva, Arthan (✎) Sariev (✎) M. Soskova (✎) |
Eberl (✎) Eterovic (✎) Altinel, Berkman, Wagner (✎) Kornaros (✎) |
Aravanis, Peppas, Williams (✎) Ilik (✎) Andrikopoulou, Aravanis (✎) |
|||
| Syskepsis (business meeting) | |||||
| Conference dinner (from 20:00) | |||||
| Talk length (including Q&A): plenary 60 mins, special sessions 40 mins, contributed 25 mins | |||||