[PHILOS-L] New Deadline - PLS15: Fifteenth Panhellenic Logic Symposium

2 views

Skip to first unread message

Yannis Stephanou

unread,

Apr 8, 2026, 1:13:38 PM (11 hours ago) Apr 8

to PHIL...@listserv.liv.ac.uk

CAUTION: This email originated outside of the University. Do not click links unless you can verify the source of this email and know the content is safe. Check sender address, hover over URLs, and don't open suspicious email attachments.

PLS15: THE FIFTEENTH PANHELLENIC LOGIC SYMPOSIUM

*New Deadline for submissions: Thursday, April 16, 2026*

*Notification: Friday, May 8, 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

=====================================================================

IMPORTANT DATES

Deadline for submission: Thursday, 16 April 2026
Notification: Friday, 8 May 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
– 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

=====================================================================

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 be made through
EasyChair.

[NEW] After the symposium, the authors of a selection of papers from those
presented at PLS15 will be invited to submit an extended version of their
work for a special issue of the Journal of Logical and Algebraic Methods
in Programming.

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

pl...@softlab.ntua.gr

using the email subject [PLS15 poster session]

=====================================================================

[NEW] 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).

In order to attend, please register here: https://forms.gle/rYahrNHjQGeunFBBA

=====================================================================

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.

[NEW] Researchers based in the United States may be eligible for funding
from the NSF. Please keep checking our website for updates.

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, 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: pl...@softlab.ntua.gr
Aristotelis Panagiotopoulos and Antonis Achilleos, Chairs of the
Scientific Committee
Costas Dimitrakopoulos, Chair of the Organizing Committee

=====================================================================