[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
PLS15: THE FIFTEENTH PANHELLENIC LOGIC SYMPOSIUM – Call for Participation
Important Deadlines:
registration deadline: 26/6/2026
deadline to apply for student accommodation: 19/6/2026
======================================================================
PLS15: THE FIFTEENTH PANHELLENIC LOGIC SYMPOSIUM
July 6-10, 2026, Athens, Greece
Organized by the National and Kapodistrian University of Athens
https://urldefense.com/v3/__http://panhellenic-logic-symposium.org/__;!!IBzWLUs!TNSMgl3zM1HqNoFyabeLEJHpc427j-hEbsdVgwUbmMXyihV4aEIxOIGe-_i_Ihw1wIvrUKfwNlTMoJSPTe5K9Q5KLmyGag$
======================================================================
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
=====================================================================
STUDENT ACCOMMODATION
We can offer a limited number of apartments to students who need accommodation
to attend PLS 15. Please note that the spots are limited, some apartments are
shared, and you need to provide your own bedsheets, towels, soap, and other
supplies.
To apply for a spot, fill in this form and we will respond as soon as possible:
https://urldefense.com/v3/__https://forms.gle/Ez3A38o9Xe2J3KGG6__;!!IBzWLUs!TNSMgl3zM1HqNoFyabeLEJHpc427j-hEbsdVgwUbmMXyihV4aEIxOIGe-_i_Ihw1wIvrUKfwNlTMoJSPTe5K9Q5RML1qPQ$
=====================================================================
IMPORTANT DATES
Registration Deadline: 26/6/2026
Deadline to apply for student accommodation: 19/6/2026
Registration form:
https://urldefense.com/v3/__https://forms.gle/CnK16juC91L8ttEJ9__;!!IBzWLUs!TNSMgl3zM1HqNoFyabeLEJHpc427j-hEbsdVgwUbmMXyihV4aEIxOIGe-_i_Ihw1wIvrUKfwNlTMoJSPTe5K9Q6KY6dWRw$
Form to apply for student accommodation:
https://urldefense.com/v3/__https://forms.gle/Ez3A38o9Xe2J3KGG6__;!!IBzWLUs!TNSMgl3zM1HqNoFyabeLEJHpc427j-hEbsdVgwUbmMXyihV4aEIxOIGe-_i_Ihw1wIvrUKfwNlTMoJSPTe5K9Q5RML1qPQ$
=====================================================================
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
– 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
– Elli Anastasiadi, Aalborg University
– 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
– Vangelis Triantafyllou, University of Ioannina
– Zoe McConaughey, University of Lille
Please visit
https://urldefense.com/v3/__http://panhellenic-logic-symposium.org/__;!!IBzWLUs!TNSMgl3zM1HqNoFyabeLEJHpc427j-hEbsdVgwUbmMXyihV4aEIxOIGe-_i_Ihw1wIvrUKfwNlTMoJSPTe5K9Q5KLmyGag$
for the invited talk abstracts and for information about the contributed
talks and the schedule.
=====================================================================
SUBMISSION GUIDELINES
Submission to PLS 15 is currently closed.
=====================================================================
SHORT SUMMER SCHOOL (Pre-Symposium)
This edition of PLS will host a short summer school during July 2–4, 2026,
aimed primarily at students. Participation is open to advanced undergraduates,
MSc and PhD students, postdoctoral researchers, and anyone interested in logic.
The goal of the summer school is to prepare participants for this year’s main
tutorials by Maryanthe Malliaris and Alexander S. Kechris.
The Short Summer School will feature
A crash course in Model Theory taught by Adele Padgett (University of Vienna).
A crash course in Descriptive Set Theory taught by Forte Shinko (UC Berkeley).
A crash course in Set Theory taught by Benjamin Siskind (TU Wien).
In order to attend, please register here:
https://urldefense.com/v3/__https://forms.gle/rYahrNHjQGeunFBBA__;!!IBzWLUs!TNSMgl3zM1HqNoFyabeLEJHpc427j-hEbsdVgwUbmMXyihV4aEIxOIGe-_i_Ihw1wIvrUKfwNlTMoJSPTe5K9Q71pQwCcw$
=====================================================================
GRANTS from ASL and NSF
Submissions of grant applications from ASL or NSF are closed.
=====================================================================
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, Aalborg 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 (chair)
Demetra Christopoulou, 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
Academy of Athens
Association for Symbolic Logic
European Mathematical Society
European Set Theory Society
Department of History and Philosophy of Science, NKUA
M.A./M.Sc. program "Logic" (NKUA, NTUA, Academy of Athens)
Reykjavik University
University of Vienna
