The Panhe llenic Logic Symposium is a biennial scientific ev ent that was established in 1997. It aims to promo te interaction and cross-fertilization among diffe rent areas of logic. Originally conceived as a way of bringing together the many logicians of Hellen ic descent throughout the world, the PLS has evolv ed into an international forum for the communicati on of state-of-the-art advances in logic. The symp osium is open to researchers worldwide who work in logic broadly conceived.
\n\nPLS13 will h ave a Poster and Mentoring Session.
\nThe Scientific Committee cordially invite s all researchers in the areas of the conference t o submit their papers for presentation at PLS13. A reas of interest include (but are not limited to): Computability Theory, History and Philosophy of L ogic, Logic in Computer Science, Model Theory, Non classical and Modal Logics, Proof Theory and Set T heory. All submitted papers will be reviewed by th e Scientific Committee of the symposium, who will make final decisions on acceptance.
\n\nGr aduate students and young researchers are invited to submit a short abstract on work in progress tha t 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 s ession will also feature a mentoring component whe reby senior researchers will discuss the posters a nd provide feedback to student participants.
\n \nPlease note that there was a previous CFP i n 2021. The accepted papers of the 2021 edition, a long with some video presentations, appear on the event's webpage.
\n URL:http://panhellenic-logic-symposium.org/13/ CONTACT:for general enquiries at pls13 at softlab. ntua.gr CONTACT:George Barmpalias at barmpalias at gmail.c om CONTACT:Kostas Hatzikiriakou at kxatzkyr at uth.gr END:VEVENT END:VCALENDAR