First Panhellenic Symposium
on Logic

 Panel Discussion

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)


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.

[About] [Programme] [Symposium Address] [Organizing Committe] [Advisory Committee] [Panel Discussion Topics] [Invited Talks] [Articles] [Attendees] [Symposium Registration] [Travel Information] [Accomodation Registration] [Social Activities] [Sponsorships]

Site designed by Andreas Manoli, csmanoli@ccs.ucy.ac.cy
Last updated on 15-July -1997