15-19 July 2009
Patras, Greece
************************************************
************************************************
*** THE 7TH PANHELLENIC LOGIC SYMPOSIUM ***
*** 15-19 July 2009, Patras, Greece ***
*** http://www.bma.upatras.gr/pls7/ ***
************************************************
************************************************
FIRST ANNOUNCEMENT
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 the
aforementioned fields to foster collaboration and further research.
PAPER SUBMISSION
A web-based conference management system will be used for the submission
of abstracts of contributed talks. Details will be included in the forthcoming
"Second Announcement."
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
SYMPOSIUM OFFICIALS
Costas Drossos and Pavlos Peppas (Organizing Committee Co-Chairs)
Constantine Tsinakis (Scientific Committee Chair)
FURTHER INFORMATION
Information about PLS7 can be found at the conference web site
www.bma.upatras.gr/pls7/.
E-mail inquires about PLS7 should be directed to the local organizers at
cdrossos@upatras.gr or pavlos@upatras.gr.