THURSDAY, 11/6/2015

09.00-11.00 | Registration | |

11.00-11.10 | Opening | |

11.10-12.30 | Tutorial | J.-Y. Beziau: Introduction to Universal Logic |

12.40-13.30 | Invited talk | R. Sklinos: Some model theory of hyperbolic groups |

13.30-16.00 | Lunch break | |

16.00-17.30 | Contributed talks | C.
Dimitracopoulos and V. Paschalis: Grades of
discernibility P. Eleftheriou, A. Hasson and G. Keren: On weakly o-minimal non-valuational structures A. Sariev: Definability of jump classes in the local theory of the ω-Turing degrees |

17.30-18.00 | Coffee break | |

18.00-19.00 | Contributed
talks |
A. Soskova, A.
Terziivanov and S. Vatev: Generalization of the
notion
of jump sequence of sets for sequences of structures S. Sudoplatov: Generative and pre-generative classes |

FRIDAY, 12/6/2015

09.00-10.30 | Tutorial | J.-Y. Beziau: Introduction to Universal Logic |

10.30-11.00 | Coffee break | |

11.00-11.50 | Invited talk | L. Crosilla: Understanding predicativity |

11.50-12.00 | Break | |

12.00-12.50 | Invited talk | M. Soskova: The enumeration degrees: Local and global structural interactions |

12.50-15.30 | Lunch break | |

15.30-17.00 | Contributed talks | C. Cieslinski:
Minimalism and the generalization problem R. Grandy: Philo v Diodorus revisited: A new conditional in an old setting, or an old conditional in a new setting? B. Martin: Dialetheism and dual-valuation logics |

17.00-17.30 | Coffee break | |

17.30-19.30 | Contributed
talks |
E.
Rivello:
Supervaluation and revision V. Sotirov: Leibniz' arithmetized syllogistics: The intensional semantics U. Wybraniec-Skardowska: Rejecyion in traditional and modern logics P. Yuste: Logic and ontology in ancient India |

SATURDAY, 13/6/2015

09.00-10.30 | Tutorial | P. D' Aquino: Real closed fields, models of Peano Arithmetic and recursive saturation |

10.30-11.00 | Coffee break | |

11.00-11.50 | Invited talk | V. Gregoriades: Hyperarithmetical incomparability and Kreisel compactness |

11.50-12.00 | Break | |

12.00-12.50 | Invited talk | N. Tzevelekos: Automata over infinite alphabets: Investigations in Fresh-Register Automata |

12.50-15.00 | Lunch break | |

15.00-17.00 | Contributed talks | F. Dowker, A. Kakas and F.
Toni:
Argumentation Logic as Anhomomorphic Logic D. Georgiev: SQEMA with Universal Modality O. Gerasimova and I. Makarov: Total equivalence systems for classes of 3-valued projection logic whose projections equal to the class of linear Boolean functions T. Ivanova: Extended contact algebras and internal connectedness |

17.00-17.30 | Coffee break | |

17.30-19.30 | Contributed
talks |
U.
Rivieccio:
Lukasiewicz public announcement logic M. Yanchev: A description logic with transitive and inverse roles, role hierarchies, qualifying number restrictions, and part restrictions A. Zinoviev: Dendral Resolution. |

SUNDAY, 14/6/2015

EXCURSION & SYMPOSIUM DINNER

MONDAY, 15/6/2015

09.00-10.30 | Tutorial | P. D' Aquino: Real closed fields, models of Peano Arithmetic and recursive saturation |

10.30-11.00 | Coffee break | |

11.00-12.00 | Poster session | |

12.00-12.10 | Break | |

12.10-13.00 | Invited talk | X. Vidaux: Diophantine undecidability and uniform boundedness of rational points |

13.00-13.10 | Closing |

Co-organized by the University of Aegean, the University of Crete and the University of Athens

Design and coding by Charalampos Cornaros & George Chrysoloras