[DMANET] PLS 15: Call for Participation

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 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 ===================================================================== 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://forms.gle/Ez3A38o9Xe2J3KGG6 ===================================================================== IMPORTANT DATES Registration Deadline: 26/6/2026 Deadline to apply for student accommodation: 19/6/2026 Registration form: https://forms.gle/CnK16juC91L8ttEJ9 Form to apply for student accommodation: https://forms.gle/Ez3A38o9Xe2J3KGG6 ===================================================================== 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 http://panhellenic-logic-symposium.org/ 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://forms.gle/rYahrNHjQGeunFBBA ===================================================================== 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: pls15@softlab.ntua.gr 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 ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************