(New) 6 - 10 July 2025, PLS15 – Fifteenth Panhellenic Logic Symposium, Athens [GR]
The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.
Areas of interest include (but are not limited to): Categorical logic Computability theory History of Logic Logic in Computer Science Logic in Human Reasoning Model theory Nonclassical and modal logics Philosophical logic Proof theory Reasoning in AI Set theory
Papers should be written in English, a maximum of 5 pages long, and prepared (in PDF format) using the EasyChair class style. Submissions will happen through EasyChair. Graduate students and early-career researchers are invited to submit a short, 1-page abstract on preliminary work that may not be ready for a full talk yet.