Call for Papers

Research papers

The Scientific Committee invites all researchers in the areas of the conference to submit their papers for presentation at PLS15. 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

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 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. Submissions will happen through EasyChair.

Paper submission link: https://easychair.org/conferences?conf=pls15

Important dates

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 Thursday, 29 May 2026.

Submissions will be accepted by email at the address pls15@softlab.ntua.gr