Logic List Mailing Archive

4th Panhellenic Logic Symposium, Thessaloniki, Greece, July 2003

4th PANHELLENIC LOGIC SYMPOSIUM
July 7-10, 2003, Thessaloniki, Greece 

http://www2.cs.ucy.ac.cy/pls4/

The Panhellenic Logic Symposium (PLS) is a biannual scientific event
established in 1997. It is open to researchers from Greece, as well as
from other countries, who work on logic broadly conceived. The Fourth
Panhellenic Logic Symposium will take place in Thessaloniki, Greece, from
July 7 to July 10, 2003. It will be hosted at the Conference Center of
Thessaloniki International Fair, located downtown in close proximity to
the University Campus. The scientific program of the symposium will
consist of hour-long invited talks, four tutorials, and presentations of
accepted papers.

Original papers that fall within the scope of the symposium are solicited.
Authors are invited to submit an extended abstract not exceeding five
pages by March 28, 2003. Papers must be written in English; they may be
sent either as hard copy via postal mail or as a postscript file via email
to the address below. Electronic submissions are strongly encouraged. In
addition, the authors should send a cover page with their addresses
(postal amd email), telephone numbers, and a statement classifying the
paper in one of the following areas: Mathematical Logic and Set Theory;
Logic in Computer Science; History or Philosophy of Logic; Other (please
specify). All submitted papers will be reviewed by the scientific
committee of the symposium, who will make final decisions on acceptance or
rejection. Accepted papers will be presented by one of their authors
during the symposium. Each accepted paper will be allocated a
thirty-minute period for presentation and question. Authors of submitted
papers will be notified of the decision by May 9, 2003. Camera-ready
extended abstracts (not exceeding five pages) will be due by May 30, 2003,
for inclusion in the proceedings of the symposium that will be distributed
to all participants.

     INVITED TALKS

        D. Bjorner (Technical U. of Denmark)
        P. Peppas (U. Patras, Greece)
        K. Sagonas (Uppsala U., Sweden)
        I. Soskov (Sofia U., Bulgaria)

     INVITED TUTORIALS

1. Philosophy of Logic
   W. Demopoulos, U. of Western Ontario, Canada
2. Algorithms
   E. Koutsoupias, U. of Athens and UCLA
3. Logic-Based Information Integration
   Maurizio Lenzerini, Universita degli Studi di Roma "La Sapienza", Italy
4. Set Theory
   Alain Louveau, U. of Paris 6, France

     ADDRESS FOR SUBMISSION

Lefteris Kirousis
Department of Computer Engineering and Informatics
University of Patras
GR-265 04 Patras, GREECE
Phone: +3-0610-99 7702
Fax: +3-0610-99 1909
Email: kirousis@ceid.upatras.gr

     Submission deadline:
     March 28, 2003 

     Scientific Committee

S. Cosmadakis (Computer Technology Institute and U. Patras, Greece), C.
Dimitracopoulos (U. of Athens, Greece), A. Kakas (U. of Cyprus), A.
Kechris (CALTECH, USA), E. Kirousis (U. of Patras, Greece) (Chair), Ph.
Kolaitis (UCSC, USA), G. Koletsos (NTUA, Greece), E. Kranakis (Carleton
University, Canada), M. Mytilinaios (AUE, Greece), Th. Pheidas (U. of
Crete, Greece), A. Sinachopoulos (Archimedia S.A., Greece), P. Spirakis
(Computer Technology Institute and U. Patras, Greece), Th. Tzouvaras (U.
of Thessaloniki, Greece) (Chair), S. Zachos (NTUA, Greece).

     Organizing Committee

C. Dimitracopoulos (U. of Athens, Greece), C. Hatzikyriakou (U. of
Thessaly, Greece), A. Kakas (U. of Cyprus), C. Kalfa (U. of Thessaloniki,
Greece), A. Sinachopoulos (Archimedia S.A., Greece), Th. Tzouvaras (U. of
Thessaloniki, Greece) (Chair).