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  Greece, as well as from  other countries,   who work on logic broadly conceived. 
The Fourth Panhellenic Logic Symposium will take place at 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 should be written in  English; they 
must be sent either as hard copy via postal mail or as a postscript file via email to 
 the address on the left. {\bf Electronic submissions are strongly encouraged}. 
 In addition, the authors should send a cover page with their addresses 
(postal and 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 questions. 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.


                          
                                SCIENTIFIC COMMITTEE
 
 S. Cosmadakis (Computer Technology Institute, U. of 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 U.,   Canada),  
M.  Mytilinaios  (AUEB,  Greece),
Th. Pheidas (U.  of   Crete, Greece), 
A.  Sinachopoulos (Archimedia S.A., Greece),
P.  Spirakis (Computer Technology Institute, U. of 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).


       
                              PRACTICAL INFORMATION

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



                                     INVITED TALKS


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


                                   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, U. degli Studi di Roma  ``La Sapienza'', Italy  
 
4)  Set Theory

                 Alain Louveau,  U.  of Paris 6, France 



                                     ADDRESS FOR SUBMISSION

             (Electronic submissions in postscript are strongly encouraged) 

                                 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
 
          
                                    
                                           IMPORTANT DATES

 Submission deadline:          March 28, 2003
 Notification of acceptance:   May 9, 2003
 Copies of abstracts due:      May 30, 2003
 Symposium:                   July 7-10, 2003