You may download this file in Text, PostScript or PDF form.

Announcement and Call for Papers

 

4th PANHELLENIC LOGIC SYMPOSIUM

July 7-10, 2003, Thessaloniki, Greece

 

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 Old Building of the Faculty of Philosophy, located downtown, at the front side of 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.

  

PRACTICAL INFORMATION

 

INVITED TALKS

Dines Bjorner (Technical U. of Denmark)

Jean-Louis Krivine (U. of Paris, France)

Pavlos Peppas (Athens Information Technology, Greece)

Konstantinos Sagonas (Uppsala U., Sweden)

Ivan Soskov (Sofia U., Bulgaria)

 

INVITED TUTORIALS

1. Philosophy of Logic

William Demopoulos, U. of Western Ontario, Canada

2. Algorithms

Elias 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: +30-2610-99 7702

Fax: +30-2610-99 1909

Email: kirousis@ceid.upatras.gr

 

IMPORTANT DATES 

 

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