FIRST ANNOUNCEMENT

Seventh Panhellenic Logic Symposium

July 15-19, 2009, Patras, Greece

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 alpha-betical order): Algebraic Logic; Foundational Interactions between Logic, Computer Sci-ence and Mathematics; Logic in AI; Logic in Computer Science; Modal Logics; Model Theory; Non-classical Logics; Philosophy of Logic; Residuated Struc-tures; Recursion Theory; Set Theory; and Substructural Logics. The purpose of the conference is to bring together researchers from the aforemenioned fields to foster collaboration and further research.

Paper Submission

The on-line conference system EasyChair will be used for the submission of papers of contributed talks. Details will be included in the forthcoming “Second Announcement.”

Important Dates

Paper Submission Deadline: April 10, 2009

Acceptance Notification: May 15, 2009

Camera Ready Papers Deadline: June 12, 2009

Conference Dates: July 15-19, 2009

Further Information

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

E-mail inquires about PLS7 should be directed to the local organizers at
This e-mail address is being protected from spambots. You need JavaScript enabled to view it or This e-mail address is being protected from spambots. You need JavaScript enabled to view it .

Constantine Tsinakis
Chair (Scientific Committee)

Costas Drossos and Pavlos Peppas

Co-Chairs (Organizing Committee)