Sunday (Welcome) 21:00 - Welcome address by the Rector of the University of Cyprus.
Cocktail Party Day 1 (July 21st) 9:00 - 10:45 (Opening session) 9:00 Welcome by the Organising Committee
Welcome by Professor G. Metakides
Openning by the Minister of Education of Cyprus 9:45 Invited Lecture: H Logikh ton Megarikon: mia allh ekdoxh tou Ellhnikou Logou.
V. Kyrkos (University of Athens) Discussion (15 mins) 10:45 - 11:15 (Coffee Break) 11:15 - 13:00 (Formal Logic: Chairperson C. Drossos) Invited Lecture:Current trends in Model Theory and Hilbert's Tenth Problem
T. Feidas (University of Crete). Idempotence of Classical logics and the logic of multisets
A. Tzouvaras (Aristotle University of Thessaloniki) Formal number theory and subrecursive degree structures
L. Kristiansen (University of Oslo, Norway) Discussion (10 mins) 13:00 - 14:00 (Lunch) 14:00 - 15:30 (Demonstrations of Logic-based Systems) System demonstrations will be on show during this time in the laboratory P101. 15:30 - 17:15 (Logic in Computer Science: Chairperson Y. Dimopoulos) Invited Lecture: Expressiveness of Database Query Languages
S. Cosmadakis (University of Patras) To Preference via Entrenchment
K. Georgatos (University of Rome, Italy) Linear Programming based Induction (LPI): a constraint logic programming elaboration.
G. Potamias (Forth, Heraklion) Discussion (10 mins) 17:15 - 17:45 (Coffee Break) 17:45 - 19:00 (Panel Discussion) Industrial and other Applications of Logic
Panelists: F. Afrati, I. Antoniou, G. Metakides, J. Sifakis (moderator) S. Zachos) Social Activities 19:15 Culture Walk in Nicosia
21:00 Dinner in Nicosia Day 2 (July 22nd) 9:00 - 10:45 (Formal Logic: Chairperson A. Tzouvaras) Invited Lecture: 0-1 Laws in Finite Model Theory
P. Kolaitis (University of California, USA) The programme of Reverse Mathematics
C. Hatzikiriakou (University of Crete) Reverse Recursion Theory: Some results
M. Mitilineos (Economic University of Athens) Discussion (10 mins) 10:45 - 11:15 (Coffee Break) 11:15 - 13:15 (Logic and other Sciences: Chairperson A. C. Kakas) Invited Lecture: Probabilistic Logics Associated with Complex Systems
I. Antoniou (International Solvay Institutes, ULB, Belgium) Is there a Logic of Abduction?
S. Psillos (LSE, London) On the Effects of Training Deductive Reasoning
N. Valanides (University of Cyprus) Logic at the Research Foundation of Trace
P. Sotiropoulos (Research Foundation of Thrace, Xanthi) Discussion (10 mins) 13:15 - 14:15 (Lunch) 14:15 - 15:30 (Formal Logic: Chairperson M. Mitilineos) Computable and polynomially time computable real and p-adic numbers
G. Kapoulas (University of Crete) Locale Theoretic Methods in Logics without Contraction
P. Karazeris (University of Patras) On End Extensions of Models of Fragments of PA
Ch. Cornaros (University of Crete) Reflections on a category-theoretic approach to quantum mechanics
E. Galatoulas (University of London) 15:30 - 19:00 (Excursion) Chirokoitia (16:00-17:00) [Stone Age Site]
Kolossi (17:30 - 18:00) [Medieval Castle]
Curium (18:15 - 19:00) [Ancient Theater] 19:00 - 20:30 (Logic in Ancient Greece) Invited Lecture: O Logismos ton Protaseon stous Stoikous
E. Papadopetrakis (University of Patras) Discussion (10 mins) Organizational Matters
Future Plans (NOTE: This part of the program will take place at the Ancient Greek Theater of Curium.) 21:15 - Dinner in Limassol Day 3 (July 23rd) 9:00 - 10:45 (Logic in Computer Science: Chairperson A. Sinachopoulos) Invited Lecture: Program Specification and Verification
J. Sifakis (VERIMAG, France) On the role of interpolation in stepwise refinement
T.S.E. Maibaum and T. Dimitrakos (Imperial College, London) Logic as a vechile for real life applications
P. Stamatopoulos and I. Karali (University of Athens) Discussion (10 mins) 10:45 - 11:15 (Coffee Break) 11:15 - 13:00 (Logic in Computer Science: Chairperson G. Potamias) Invited Lecture: Non-Collapsing Assumptions about Complexity Classes needed for proving Non-Approximability Results
S. Zachos (NTUA, Greece) Refining Logical characterization of Advice Complexity Classes
A. Atserias and J. L. Balcazar (UPC, Barcelona) Complexity of products of Modal Logics
Maarten Marx (Imperial College, London) Discussion (10 mins) 13:00 - 14:00 (Lunch) 14:00 - 15:00 (Demonstrations of Logic-based Systems) System demonstrations will be on show during this time in the laboratory P101. 15:00 - 17:10 (Formal Logic: Chairperson C. Hatzikiriakou) Invited Lecture: Subsystems of Peano Arithmetic: Some results and problems
C. Dimitrakopoulos (University of Athens) Monstandard Methods in Many-valued logics
C. Drossos (University of Patras) Church-Rosser Theorem for conjunctive type systems
G. Koletsos and G. Stavrinos (NTUA, Athens) Cut Elimination in the simply lambda calculus
S. Ghilezan (University of Novi Sad, Yugoslavia) Discussion (10 mins) 17:10 - 17:30 (Coffee Break) 17:30 - 18:45 (Logic in Computer Science: Chairperson S. Cosmadakis) Invited Lecture: Arity hierarchies for fixed-point logic
F. Afrati (NTUA, Greece) Unknown but not undefined?
D. Van Heule andA. Hoogewijs (University of Gent, Belgium) Discussion (10 mins) 18:45 - 20:00 (Panel Discussion) Frontiers of Logic: Research trends and directions
Panelists: T. Feidas (Moderator), K. Georgatos, P.Kolaitis, M. Mitilineos, K. Skandalis Free evening in Nicosia (A list of events will be provided) Day 4 (July 24th) 9:00 - 10: 30 (Logic in Education: Chairperson T. Mpolis) Children's and adult's reasoning: Logical Necessity and Pragmatic Plausibility
D. Natsopoulos, M. Koutselini, G. Kiosseoglou (University of Cyprus, University of Thessaloniki) Panel Discussion Logic in Education.
Panelists: C. Dimitrakopoulos (moderator), C. Drosos, C.Hatzikiriakou, G. Koletsos, A. Kakas 10:30 - 11:00 (Coffee Break) 11:00 - 12:15 (Logic in Computer Science: Chairperson F. Afrati) Modular Logic Programming and Abstract Data Types
I. Karali and C. Halatsis (University of Athens) A Set-Oriented Resolution Method for Recursive Query Processing
E. Foustoukou (NTUA, Athens) Logic-Based Tools for Legal contract drafting: prospects and problems
A. Daskalopulu (University of Brunel, UK) Reasoning about Termination of Tabled Logic Programs
K. Sagonas (KULeuven, Belgium) Discussion (15 mins) 12:15 - 13:15 (Organization Matters and Close of the Meeting) Greek Society of Logic
Formal Proceedings
Greek Terminology Next Meeting
Concluding Remarks 13:15 - 14:15 (Lunch) NOTES 1. The opening sesion will be help in main function room of the Univeristy of Cyprus (Aithousa Teleton). All other sessions will be held in rooms E110 or A018/19. 2. The official languages of the meeting are Greek and English. Speakers will be free to deliver their talk in the language they wish. |
