Logic List Mailing Archive

3rd Call for papers (fwd)

---------- Forwarded message ----------
Date: Wed, 28 Feb 2001 19:18:49 +0200
From: Ekaterini Potika <epotik@softlab.ece.ntua.gr>
Subject: 3rd Call for papers

    Announcement Call for Papers
              3rd PANHELLENIC LOGIC SYMPOSIUM (PLS-3)
                July 17-21, 2001, Anogia, Greece
                  http://www.math.uoa.gr/pls3
                 
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)