Logic List Mailing Archive
CfP: PLS15 – Fifteenth Panhellenic Logic Symposium, 6–10 July 2025, Athens (Greece)
PLS15: THE FIFTEENTH PANHELLENIC LOGIC SYMPOSIUM ======================================================================
PLS15: THE FIFTEENTH PANHELLENIC LOGIC SYMPOSIUM July 6-10, 2025, Athens, Greece Organized by the National and Kapodistrian University of Athens http://panhellenic-logic-symposium.org/
======================================================================
The Panhellenic Logic Symposium (PLS), a biennial scientific event established in 1997, 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, it 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.
=====================================================================����
LIST OF TOPICS
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
=====================================================================
IMPORTANT DATES
Deadline for submission: Monday, 30 March 2026
Notification: Thursday, 30 April 2026
Final version due: Friday, 29 May 2026
Paper submission link:�
https://easychair.org/conferences/?conf=pls15�
=====================================================================
INVITED SPEAKERS
� Alex Kruckman, Wesleyan University
� Christina Vasilakopoulou, NTUA
� Stefan Vatev, University of Sofia
� Stevo Todorcevic, University of Toronto � Su Gao, Nankai University
TUTORIALS
� Alexander Kechris, California Institute of Technology [to be confirmed] � 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
=====================================================================��������
SUBMISSION GUIDELINES
Research papers
The Scientific Committee invites researchers in all areas of logic to submit their papers for presentation at PLS15.
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 actual 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 (easychair.org/publications/for_authors). Submissions will happen through EasyChair.
Paper submission link:
https://easychair.org/conferences/?conf=pls15�
Poster session
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. Those accepted will be able to present their work in poster form in a special poster session. The session will also feature a mentoring component in which senior researchers will discuss the posters and provide feedback to the authors.
Interested students and early-career researchers should submit their abstracts by
Friday, 29 May 2026
Submissions will be accepted by email at the address
pls15@softlab.ntua.gr�
using the email subject [PLS15 poster session]
=====================================================================����
GRANTS
Students may apply for travel funds to the Association for Symbolic Logic (ASL), under the following provisions: a) the applicants are ASL members and b) the application is received three months prior to the start of the meeting. See https://aslonline.org/meetings/student-travel-awards/�� for more details.
Further travel grants will be provided for students and young researchers. Details will be uploaded to the conference webpage.
=====================================================================����
COMMITTEES
Scientific Committee
Aristotelis Panagiotopoulos, University of Vienna (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, Chinese Academy of Sciences 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 Dimitrakopoulos, 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 Dimitrakopoulos, 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 Aristotelis Panagiotopoulos and Antonis Achilleos, Chairs of the Scientific Committee Costas Dimitrakopoulos, Chair of the Organizing Committee
=====================================================================����
SPONSORS
European Set Theory Society
Department of History and Philosophy of Science, NKUA M.A./M.Sc. program "Logic" (NKUA, NTUA, Academy of Athens)
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php