The Scientific Committee cordially invites all researchers in the area of the conference to submit their papers until 25 February 2019 31 March 2019 (in PDF-format, in English, at most 6 pages) for presentation at PLS12. Papers should be prepared using the EasyChair class style and submitted electronically, using the Easy Chair conference system.

All submitted papers will be reviewed by the Scientific Committee of the symposium, who will make final decisions on acceptance. Authors of submitted papers will be notified of the decision by 25 March 2019. 22 April 2019. Camera-ready papers will be due by 29 April 2019 20 May 2019 for inclusion in the symposium proceedings which will be distributed to all participants. During the symposium, each accepted paper will be presented by one of its authors.

If possible, each submitted paper should be classified in one of the following areas:

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

Graduate students and young researchers are invited to submit a short abstract of 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 the authors.

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