[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
This is the first call for papers for PLS 15.
Please distribute to anyone who may be interested.
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
https://urldefense.com/v3/__http://panhellenic-logic-symposium.org/__;!!IBzWLUs!Sq8EVx3IVxKjeT9mX0GWVVyRsJZyAFP59qVxfSTJRDus1Ybh0oty0WCMyckx1L51rrB3W6ig9fv1rk--PS60E6779gCFkg$
======================================================================
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://urldefense.com/v3/__https://easychair.org/conferences/?conf=pls15__;!!IBzWLUs!Sq8EVx3IVxKjeT9mX0GWVVyRsJZyAFP59qVxfSTJRDus1Ybh0oty0WCMyckx1L51rrB3W6ig9fv1rk--PS60E67ZLae5pQ$
=====================================================================
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<https://urldefense.com/v3/__http://easychair.org/publications/for_authors__;!!IBzWLUs!Sq8EVx3IVxKjeT9mX0GWVVyRsJZyAFP59qVxfSTJRDus1Ybh0oty0WCMyckx1L51rrB3W6ig9fv1rk--PS60E66OIhtrbw$
>). Submissions will happen through EasyChair.
Paper submission link:
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=pls15__;!!IBzWLUs!Sq8EVx3IVxKjeT9mX0GWVVyRsJZyAFP59qVxfSTJRDus1Ybh0oty0WCMyckx1L51rrB3W6ig9fv1rk--PS60E67ZLae5pQ$
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
[email protected]<mailto:[email protected]>
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://urldefense.com/v3/__https://aslonline.org/meetings/student-travel-awards/__;!!IBzWLUs!Sq8EVx3IVxKjeT9mX0GWVVyRsJZyAFP59qVxfSTJRDus1Ybh0oty0WCMyckx1L51rrB3W6ig9fv1rk--PS60E64LuqTSwA$
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: [email protected]
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)
