ANNOUNCEMENT AND CALL FOR PAPERS

FOURTH PANHELLENIC LOGIC SYMPOSIUM

July 7-10, 2003, Thessaloniki, Greece


The  Panhellenic Logic Symposium is a biannual scientific event
established in 1997.
It is open to researchers from all countries who work on Logic broadly
conceived.
The language of the Symposium is English. The Fourth Panhellenic Logic
Symposium will
be hosted at the Conference Center of the International Fair of
Thessaloniki,
located  downtown in close proximity to the University campus. The
scientific program
of the symposium will consist of hour-long invited talks, tutorials
and presentations of accepted papers.

Original papers on all aspects of Logic are solicited.
Authors are invited to submit an extended abstract of at most five
pages.
In addition, the contact author of each paper should send a cover page
with his/her addresses (postal and email) and a statement classifying
the
paper in one of the following areas:

Mathematical Logic,
Set Theory,
Logic in Computer Science,
History of Logic,
Philosophy of Logic,
other Logic related area (specified).


All submitted papers will be reviewed by the scientific committee of the
symposium, who will make final decisions on acceptance or rejection.
Accepted papers should be presented at the symposium by one of their
authors.
Each accepted paper will be allocated a thirty-minute period for
presentation
and questions. Camera-ready extended abstracts not exceeding five pages
will
be  included in a proceedings volume that will be distributed to all
participants.

SCIENTIFIC COMMITTEE

S. Cosmadakis (CTI and U. of Patras)
C. Dimitracopoulos (U. of Athens)
A. Kakas (U. of Cyprus)
A. Kechris (Caltech)
L. Kirousis (U. of Patras) Chair
Ph. Kolaitis (UC Santa Cruz)
G. Koletsos (N.T.U. of Athens),
E. Kranakis (Carleton U.)
M. Mytilinaios (Athens U. of Economics)
Th. Pheidas (U. of Crete)
A. Sinachopoulos (Archimedia S.A., Athens)
P. Spirakis (CTI and U. of Patras)
Th. Tzouvaras (U. of Thessaloniki)
S. Zachos (N.T.U. of Athens)

ORGANIZING COMMITTEE

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

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

INVITED TALKS

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

TUTORIALS

Philosophy  of Logic: W. Demopoulos (U. of Western Ontario)
Complexity of Logic-Related Problems: E. Koutsoupias (U. of Athens and
UCLA)
Logic-Based Information Integration: M. Lenzerini (U. di Roma  "La
Sapienza")
Set Theory:  A. Louveau (U. Paris 6)

ADDRESS FOR SUBMISSION

Electronic submissions in PostScript are strongly encouraged

Lefteris  Kirousis
Department of Computer Engineering and Informatics
University of Patras, University Campus
GR-265 04 Patras, GREECE

Phone: +30 2610-99 7702
Fax: +30 2610-99 1909
Email: kirousis@ceid.upatras.gr

IMPORTANT DATES

Submission: March 28, 2003
Notification: May 9, 2003
Camera-ready abstracts: May 30, 2003