3rd PANHELLENIC LOGIC SYMPOSIUM (PLS-3)
                July 17-21, 2001, Anogia, Greece
                 
                

The Panhellenic Logic Symposium (PLS) is a biannual scientific event
that aims to promote the interaction and cross-fertilization between
different areas of logic. The first two PLS took place in Nicosia,
Cyprus, and Delphi, Greece, in July 1997 and July 1999, respectively.
PLS brings together researchers from Greece and other countries
who work on logic broadly conceived, from history of logic and
philosophy of mathematics to mathematical logic and to logic
in computer science.

Topics of interest include:

• Mathematical Logic and Set Theory
• Logic in Computer Science
• History of Logic
• Methodology and Philosophy of Science
  
                    IMPORTANT DATES
  Submission deadline:        April 06, 2001
  Submission Guidelines:      http://www.math.uoa.gr/pls3
  Notification of acceptance: May 18, 2001
  Copies of abstracts due:    June 07, 2001
  Symposium:                  July 17-21, 2001
  
                    SUBMISSION GUIDELINES
  Electronic submissions in postscript are strongly encouraged.
  Use only one of
  1. WEB:} http://www.math.uoa.gr/pls3
  2. Email:} pls3@math.uoa.gr
  3. Four paper copies to
     3rd Panhellenic Logic Symposium
     MPLA, Department of Mathematics
     National and Capodistrian U. of Athens
     Panepistimiopolis, GR-157 84, Athens
     GREECE
     phone: 7274 684
  
                    INVITED TALKS
  P. Clote (Boston College, USA)
  S. Cosmadakis (U. of Patras, Greece)
  C. Dimitracopoulos (U. Athens, Greece)
  G. Kafkoulis (U. of Floriada, USA)
  T. Maibaum (King's College, London, UK)
  G. Metakides (EU, Brussels)
  J. Rand Moschovakis (Occidental College, USA)
  A. Nesin (Istanbul Bilgi University, Turkey)
  D. Plexousakis (U. Crete, Greece)
  Y. Stamatiou (U. of Patras, Greece)
  
                    TUTORIALS
  Dimitris Achlioptas, (Microsoft, USA)
  Sam Buss, (UCSD, USA)
  Lou van der Dries, (U. of Illinois, Urbana, USA)
  Danielle Mundici, (U. of Milan, Italy)
  Rohit Parikh, (CUNY, USA)
  
                    Scientific Committee
  C.  Dimitracopoulos (U.  Athens, Greece),
  A.  Kakas (U. Cyprus, Cyprus),
  L.  M. Kirousis (U. Patras, Greece),
  Ph. Kolaitis (UCSC, USA),
  G.  Koletsos (NTUA, Greece),
  E.  Kranakis (Carleton U., Canada) (Chair),
  M.  Mytilinaios  (EUA,  Greece),
  Th. Pheidas (U. Crete, Greece),
  J.  Sifakis (Grenoble, France),
  A.  Sinachopoulos (FUB, Belgium),
  E.  Zachos (NTUA, Greece).
  
                    Organizing Committee
  A.  Kakas (U. Cyprus, Cyprus),
  Th. Pheidas (U. Crete, Greece),
  D.  Plexousakis (U. Crete, Greece),
  A.  Sinachopoulos (FUB, Belgium),
  E.  Zachos (NTUA, Greece).
  
                     Local Organization
  A.  Stavrou, (U. Athens),
  D.  Tsiounis, (U. Athens),
  K.  Georgiou (U. Athens),
  E.  Potikas (NTUA)