CALL FOR PAPERS
=============================================

               for the

  SEVENTH PANHELLENIC LOGIC SYMPOSIUM
                (PLS7)

           July 15-19, 2009

 University of Patras, Patras, Greece

   http://www.bma.upatras.gr/pls7/


=============================================
PAPER SUBMISSION DEADLINE: MARCH 27, 2009
=============================================



The  Panhellenic Logic Symposium is a biannual scientific event established in 1997. It is open to researchers worldwide who work in Logic broadly conceived. The Seventh Panhellenic Logic Symposium will be hosted at the Conference Center of the University of Patras. The scientific program of the symposium will consist of hour-long invited talks, tutorials and presentations of accepted contributed  papers.

FEATURED AREAS

The featured areas include, but are not limited to, the following (in alphabetical order):

- Algebraic logic
- Foundational interactions between Logic, Computer Science and Mathematics
- Logic in AI
- Logic in Computer Science
- Modal Logics
- Model Theory
- Non-classical Logics
- Philosophy of Logic
- Residuated Structures
- Recursion Theory
- Set Theory
- Substructural Logics

The purpose of the conference is to bring together researchers from these fields to foster collaboration and further research.


PAPER SUBMISSION

Submitted papers should report on original research work that falls within the scope of the symposium. Authors are invited to submit a paper not exceeding five pages by 27 March 2009. Papers must be written in English and must be formatted according to the PLS7 guidelines. The first page should include title; names of authors; the affiliation, address, email of the corresponding author; abstract (up to 200 words); and at least three keywords describing the topic of the paper. All papers should be submitted electronically at EasyChair (https://www.easychair.org/login.cgi?conf=pls7).

Submitted papers will be reviewed by the PLS7 scientific committee. Accepted papers will be presented at the Symposium by one of their authors, and they will be included in the Symposium proceedings.


IMPORTANT DATES

- Abstract Submission Deadline: March 27, 2009
- Acceptance Notification: May 15, 2009
- Camera Ready Papers Deadline: June 12, 2009
- Conference Dates: July 15-19, 2009


INVITED SPEAKERS

- Pantelis Eleftheriou, University of Lisbon
- Nick Galatos, University of Denver
- Mai Gehrke, Radboud University Nijmegen
- Chrysafis Hartonas, Technological Educational Institute of Larissa
- David Makinson, London School of Economics
- Alberto Marcone, University of Udine
- Yuri I. Manin, Max Planck Institute for Mathematics and Northwestern University
- Tinko Tinchev, Sofia University
- Yde Venema, University of Amsterdam
- George Voutsadakis, Lake Superior State College


SCIENTIFIC COMMITTEE

- Jim Delgrande, Simon Fraser University
- Costas Dimitracopoulos, University of Athens
- Josep Maria Font, University of Barcelona
- Kostas Hatzikyriakou, University of Thessaly
- Antonis Kakas, University of Cyprus
- Panagis Karazeris, University of Patras
- Giorgos Koletsos, National Technical University of Athens
- George Metakides, University of Patras
- Joan Moschovakis, Occidental College
- Hiroakira Ono, Japan Advanced Institute  of Science and Technology
- Thanases Pheidas, University of Crete
- Alexandra Soskova, Sofia University
- Constantine Tsinakis (Chair), Vanderbilt University
- Athanassios Tzouvaras, University of Thessaloniki
- Mary-Anne Williams, University of Technology, Sydney
- Stathis Zachos, National Technical University of Athens


ORGANIZING COMMITTEE

- Costas Drossos (co-chair), University of Patras
- Anastasios - Michael Fotinopoulos, University of Patras
- Panagis Karazeris, University of Patras
- Lefteris Kirousis, University of Patras
- Eftichis Papadopetrakis, University of Patras
- Pavlos Peppas (co-chair), University of Patras



HOTEL RESERVATIONS

Hotel accommodations are offered by several hotels of various categories in Patras, Rio and the surrounding area.  Participants will need to communicate directly with the selected hotels to secure their reservations.  The conference web site contains detailed information for contacting the hotel of your choice.


FURTHER INFORMATION

Information about PLS7 can be found at the conference web site at http://www.bma.upatras.gr/pls7/

E-mail inquiries about PLS7 should be directed to the co-chairs of local organizing committee: Costas Drossos (cdrossos@upatras.gr) or Pavlos Peppas (pavlos@upatras.gr)