15-19 July 2009
Patras, Greece
=============================================
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)