14-18 Jul 2021
====================================================================== PLS13: THE THIRTEENTH PANHELLENIC LOGIC SYMPOSIUM July 14-18, 2021, Volos, Greece Organized by the University of Thessaly http://panhellenic-logic-symposium.org/ ====================================================================== DISCLAIMER Our intention is to have a meeting with physical presence, in the spirit of the symposium in all its previous meetings. If this becomes difficult due to the worsening of the pandemic, we will consider other options ranging from an online event to postponing the event to 2022. Any further updates on this front will be posted on the symposium's webpage. In any case, we will have a normal Call for Papers procedure; that is, submitted papers will be peer-reviewed and all accepted papers will appear in the electronic (informal) proceedings that we shall post on the event's webpage. ====================================================================== IMPORTANT DATES Deadline for submission: Friday, March 26, 2021 Notification: Monday, April 26, 2021 Final version due: Wednesday, May 26, 2021 ====================================================================== INVITED TALKS - Andrew Brooke-Taylor, University of Leeds, UK - Takayuki Kihara, Nagoya University, Japan - Julia Knight, University of Notre Dame, USA - Vassileios Koutavas, Trinity College Dublin, Ireland - Angus Macintyre, Queen Mary University of London, UK - Thanases Pheidas, University of Crete, Greece - Alexandra Silva, University College London, UK - Linda Brown Westrick, Penn State University, USA TUTORIALS - Alex Kavvos, University of Bristol, UK - Nikos Leonardos, University of Athens, Greece - Stathis Zachos, National Technical University of Athens, Greece ===================================================================== SPECIAL SESSIONS Computer Science: - Bruno Bauwens, HSE University, Russia - Juan Garay, Texas A&M University, USA - Andrew Lewis-Pye, London School of Economics, UK - Vassilis Zikas, Purdue University, USA & University of Edinburgh, UK Philosophical Logic: - Michael Glanzberg, Rutgers University, USA - Volker Halbach, University of Oxford, UK - Elia Zardini, University of Lisbon, Portugal & HSE University, Russia ===================================================================== FIRST CALL FOR PAPERS The Scientific Committee cordially invites all researchers in the areas of the conference to submit their papers for presentation at PLS13. 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) event, each accepted paper will be presented by one of its authors; in case an in-person event cannot happen due to the pandemic, we shall consider other presentation options. 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 Papers, in PDF format, should be prepared using the EasyChair class style ( easychair.org/publications/for_authors), be written in English, and adhere to a space limit of 6 pages. Submission is to be done via EasyChair at: https://easychair.org/account/signin?l=SfDov6IqlVTGz0eOMKYlPK# ====================================================================== POSTER SESSION AND MENTORING SESSION 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 by Friday, June 4, 2021, by sending them to: pls13@softlab.ntua.gr ====================================================================== GRANTS Some travel grants will be provided for students and young researchers. Details will be uploaded on the conference webpage as soon as they become available. ===================================================================== SCIENTIFIC COMMITTEE ? Antonis Achilleos, Reykjavik University ? George Barmpalias, Chinese Academy of Sciences (co-chair) ? Costas Dimitracopoulos, University of Athens ? Pantelis Eleftheriou, University of Konstanz & University of Pisa ? Vassilis Gregoriades, National Technical University of Athens ? Kostas Hatzikiriakou, University of Thessaly ? Antonis Kakas, University of Cyprus ? Alex Kavvos, University of Bristol ? Nikolaos Papaspyrou, National Technical University of Athens ? Thanases Pheidas, University of Crete ? Ana Sokolova, University of Salzburg ? Alexandra Soskova, Sofia University ? Mariya Soskova, University of Wisconsin?Madison ? Yannis Stephanou, University of Athens ? Konstantinos Tsaprounis, University of the Aegean (co-chair) ? Nikos Tzevelekos, Queen Mary University of London ? Niki Vazou, IMDEA Institute ? Stathis Zachos, National Technical University of Athens ORGANIZING COMMITTEE ? Kostas Hatzikiriakou, University of Thessaly (chair) ? Nikolaos Papaspyrou, National Technical University of Athens ? Vasiliki Papayiannakopoulou, University of Thessaly ====================================================================== SYMPOSIUM WEBPAGE: http://panhellenic-logic-symposium.org/ E-MAIL: pls13@softlab.ntua.gr CONTACTS: ? George Barmpalias (barmpalias@gmail.com) ? Konstantinos Tsaprounis (kostas.tsap@gmail.com) Chairs of the Scientific Committee ? Kostas Hatzikiriakou (kxatzkyr@uth.gr), Chair of the Organizing Committee -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam