---------- 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)