Symposium's Program
The slides of the presentations are available at the authors' permission.
All rights reserved.
9th Panhellenic Logic Symposium
July 15-18, 2013
National Technical University of Athens, Greece
Monday, July 15
09:00-
Registration
09:45-10:00
Opening
10:00-11:45
Invited talk
Phokion Kolaitis
(University of California at Santa Cruz)
Schema Mappings and Data Examples: An Interplay of Syntax and Semantics.
slides
Schema Mappings and Data Examples: An Interplay of Syntax and Semantics.
slides
11:45-12:00
Coffee break
12:00-13:15
Invited talk
Dimitris Plexousakis
(University of Crete), joint work with Theodore Patkos
Calculi for Reasoning about Action and Knowledge.
slides
Calculi for Reasoning about Action and Knowledge.
slides
13:15-15:00
Lunch break
15:00-16:30
Paper session #1 — Chair: Stathis Zachos
Jose Martínez Fernández (Universitat de Barcelona)
On Some Self-referential Four-valued Languages.
slides
On Some Self-referential Four-valued Languages.
slides
Zoltán Ésik (University of Szeged) and Panos Rondogiannis (University of Athens)
A Fixed Point Theorem for Non-Monotonic Functions.
slides
A Fixed Point Theorem for Non-Monotonic Functions.
slides
Emmanouil Koukoutos and Nikolaos Papaspyrou (National Technical University of Athens)
Type Inference for a Higher-Order Extension of Prolog.
slides
Type Inference for a Higher-Order Extension of Prolog.
slides
16:30-17:00
Coffee break
17:00-19:00
Work in progress and student session — Chair: Nikolaos Papaspyrou
Tuesday, July 16
09:30-10:45
Invited talk
10:45-11:15
Coffee break
11:15-13:15
Paper session #2 — Chair: Joan Moschovakis
Elena Ovchinnikova (Novosibirsk State Technical University)
and Sergey Sudoplatov (Sobolev Institute of Mathematics)
Structures of Distributions of Isolating Formulas as Derivative Structures: for Acyclic Graphs.
slides
Structures of Distributions of Isolating Formulas as Derivative Structures: for Acyclic Graphs.
slides
Antonis Kakas (University of Cyprus),
Francesca Toni (Imperial College London),
and Paolo Mancarella (Università di Pisa)
Argumentation and Propositional Logic.
slides
Argumentation and Propositional Logic.
slides
13:15
Lunch
14:00-
Excursion: Sounion (swimming included) and the archaeological site
Wednesday, July 17
09:30-10:45
Invited talk
Alexander Kechris
(California Institute of Technology)
Dynamics of Non-Archimedean Polish Groups.
slides
Dynamics of Non-Archimedean Polish Groups.
slides
10:45-11:15
Coffee break
11:15-12:30
Tribute to Alan Turing
12:30-12:45
Short break
12:45-13:15
Paper session #3 — Chair: Panos Rondogiannis
Alla Sirokovskich (University of Crete and University of Leeds)
Decidability Issues for Infinite Integer Sequences with Finite Support.
slides
Decidability Issues for Infinite Integer Sequences with Finite Support.
slides
13:15-15:00
Lunch break
15:00-16:00
Syskepsis
16:00-
Visit: Acropolis Museumand the Acropolis area
20:30-
Dinner: “Agrotera”, 6, Vas.Olgas Ave. near the Zappeion
Thursday, July 18
09:30-10:45
Invited talk
Manolis Koubarakis (University of Athens),
joint work with Charalampos Nikolaou
Incomplete Information in RDF Using Constraints.
slides
Incomplete Information in RDF Using Constraints.
slides
10:45-11:15
Coffee break
11:15-12:45
Paper session #4 — Chair: Costas Dimitracopoulos
Vladislav Nenchev (Sofia University)
Decidability of Modal Logics for Dynamic Contact Relations.
slides
Decidability of Modal Logics for Dynamic Contact Relations.
slides
Tudor Protopopescu (City University of New York)
Introduction to the Bi-Modal Analysis of Knowability.
slides
Introduction to the Bi-Modal Analysis of Knowability.
slides
Antonis Achilleos (City University of New York)
and Michael Lampis (KTH Royal Institute of Technology)
Closing a Gap in the Complexity of Refinement Modal Logic.
slides
Closing a Gap in the Complexity of Refinement Modal Logic.
slides
12:45-13:00
Closing