Logic List Mailing Archive

Deadline extension: PLS7 (Patras, Greece)

Due to numerous requests, the PLS7 submission deadline has been extended 
by two weeks. The new submission deadline is therefore set to April 10, 
2009.

Below is the updated CFP (with the new deadline).

===============================================
           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: April 10, 2009 (NEW)
================================================



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 10 April 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: April 10, 2009 (NEW)
- 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)