15.07.2009 - 19.07.2009, Conference and Cultural Center of University of Patras

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.

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.