Picture

First Panhellenic Symposium
on Logic

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

Invited Talks
 

F. Afrati (NTUA, Greece)
        "Arity hierarchies for fixed-point logic"

I. Antoniou (International Solvay Institutes, ULB, Belgium),
        "Probabilistic Logics Associated with Complex Systems"

S. Cosmadakis (University of Patras, Greece)
        "Expressiveness of Database Query Languages"

C. Dimitrakopoulos (University of Athens, Greece),
        "Subsystems of Peano Arithmetic: Some results and problems"

T. Feidas (University of Heraclion, Greece),
        "Current trends in Model Theory and Hilbert's Tenth Problem"

P. Kolaitis (University of California, USA),
        "0-1 Laws in Finite Model Theory"

G. Metakides (European Commission, Belgium),
        "Title to be announced"

E. Papadopetrakis (University of Patras, Greece),
        "The Propositional Calculus and the Stoics"

J. Sifakis (VERIMAG, France)
        "Program Specification and Verification"

S. Zachos (NTUA, Greece)
        "Non-Collapsing Assumptions about Complexity Classes needed for
         proving Non-Approximability Results"

V. Kyrkos (University of Athens)
       H Logikh ton Megarikon: mia allh ekdoxh tou Ellhnikou Logou.

[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