The Scientific Committee cordially invites all researchers in the areas of the conference to submit their papers for presentation at PLS13.

Areas of interest include (but are not limited to):

• Computability Theory
• History and Philosophy of Logic
• Logic in Computer Science
• Model Theory
• Nonclassical and Modal Logics
• Proof Theory
• Set Theory

Important dates:

• Deadline for submission: Friday, March 18   Thursday, March 31, 2022
• Format: PDF, in English, at most 6 pages
• Notification: Monday, April 18   Monday, May 9, 2022
• Final version due: Wednesday, May 18   Saturday, May 28, 2022

Instructions for submission:

• Submit your paper electronically, using the Easy Chair conference system
• Format: PDF, in English, at most 6 pages
• Use the EasyChair class style

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 the electronic volume of the event's (informal) proceedings; the volume will be posted on the event's webpage. During the actual (in-person) symposium, each accepted paper will be presented by one of its authors.

Graduate students and young researchers are invited to submit a short abstract on work in progress that may not be ready for a regular contributed talk.

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 whereby senior researchers will discuss the posters and provide feedback to student participants.

Interested students and young researchers should submit abstracts of no more than one page in PDF form. Interested students and young researchers should submit abstracts of no more than one page in PDF form by Friday, May 27, 2022, by sending them to: .