14 - 18 July 2022, 13th Panhellenic Logic Symposium (PLS13), Volos (Greece) or Virtual
The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It 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, the PLS 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.
PLS13 will have Special Sessions on Computer Science and Philosophical Logic, as well as Tutorials, Invited and Contributed Talks, a Poster Session and a Mentoring Session.
The meeting is postponed to July 2022, due to the uncertainties related to the pandemic. Exact dates will be decided at a later stage.
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 and Set Theory. All submitted papers will be reviewed by the Scientific Committee of the symposium, who will make final decisions on acceptance.
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.