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.
The Fifteenth Panhellenic Logic Symposium will be hosted in Athens, under the auspices of the National and Kapodistrian University of Athens .
Call for Papers
Research papers
The Scientific Committee invites all researchers in the areas of the conference to submit their papers for presentation at PLS15. 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
All submitted papers will be reviewed by the Scientific Committee of the symposium, who will make final decisions on acceptance. Accepted papers will appear in an informal, electronic proceedings volume, which will be posted on the event’s webpage. During the event each accepted paper should be presented by at least one of its authors.
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.
Paper submission link: https://easychair.org/conferences?conf=pls15
Invited talks
More information TBA
- Alex Kruckman, Wesleyan University
- Christina Vasilakopoulou, National Technical University of Athens
- Stefan Vatev, University of Sofia
- Stevo Todorcevic, University of Toronto
- Su Gao, Nankai University
Tutorials
- Alexander Kechris, California Institute of Technology
- Maryanthe Malliaris, University of Chicago
Special sessions
On the Axiom of Choice
- Assaf Shani, Concordia University
- Azul Lihuen Fatalini, University of Leeds
- Zoltán Vidnyánszky, Eötvös University
Logics for Formal Verification
- Juha Kontinen, University of Helsinki
- Martin Zimmermann, Aalborg University
Philosophy Session: Modal Logic
- Aybüke Özgün, ILLC, University of Amsterdam
- Johannes Stern, University of Bristol
- Øystein Linnebo, University of Oslo
The Aristotelian Syllogistic: Computational and Foundational Aspects.
- Marko Malink, New York University
- Zoe McConaughey, University of Lille
History of the Panhellenic Logic Symposium
The Panhellenic Logic Symposium (PLS) was established in 1997 and was originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world. It has evolved into an international forum for the communication of state-of-the-art advances in logic.
Committees
Scientific committee
- Aristotelis Panagiotopoulos, University of Vienna, Austria (co-chair)
- Antonis Achilleos, Reykjavik University (co-chair)
- Aggeliki Chalki, Reykjavik University
- Alexandra Soskova, Sofia University
- Ana Sokolova, University of Salzburg
- Anush Tserunyan, McGill University
- Doukas Kapantais, Academy of Athens
- Elli Anastasiadi, Uppsala University
- George Barmpalias, Chinese Academy of Sciences
- Pantelis Eleftheriou, University of Leeds
- Rizos Sklinos, University of Crete
- Vera Fischer, University of Vienna
- Yannis Stephanou, National and Kapodistrian University of Athens
Steering Committee
- Alex Kavvos, University of Bristol
- Antonis Kakas, University of Cyprus
- Costas Dimitracopoulos, National and Kapodistrian University of Athens
- Ioannis Souldatos, Aristotle University of Thessaloniki
- Konstantinos Tsaprounis, University of the Aegean
- Nikolaos Papaspyrou, National Technical University of Athens
- Stathis Zachos, National Technical University of Athens
- Vassilis Gregoriades, National Technical University of Athens
- Yannis Stephanou, National and Kapodistrian University of Athens
Organising committee
- Costas Dimitracopoulos, National and Kapodistrian University of Athens
- Nikolaos Papaspyrou, National Technical University of Athens
- Yannis Stephanou, National and Kapodistrian University of Athens
Contacts
General enquiries: pls15@softlab.ntua.gr