12th Panhellenic Logic Symposium

June 26-30, 2019
Anogeia, Crete, Greece

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 Antos, 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
- Toader
- Dimitracopoulos
16:15 - 16:45 coffee break coffee break coffee break
16:45 - 18:30 Contributed talks (Proofs/Computability) Contributed talks (Model Theory) Contributed talks (Computer Science II)
- J. Moschovakis
- Lewis-Smith, Oliva, Arthan
- Sariev
- M. Soskova
- Eberl
- Eterovic
- Altinel, Berkman, Wagner
- Cornaros
- Rivello
- Aravanis, Peppas, Williams
- Ilik
- Andrikopoulou, Aravanis
Syskepsis (business meeting)
Conference dinner
Talk length (including Q&A): plenary 60 mins, special sessions 40 mins, contributed 25 mins