PLS 2022: 13th Panhellenic Logic Symposium 2022 University of Thessaly, Volos, Greece Volos, Greece, July 6-10, 2022 |
Conference website | http://panhellenic-logic-symposium.org |
Submission link | https://easychair.org/conferences/?conf=pls13 |
Abstract registration deadline | March 31, 2022 |
Submission deadline | March 31, 2022 |
Notification | April 18, 2022 |
Final version due | May 18, 2022 |
PLS13: THE THIRTEENTH PANHELLENIC LOGIC SYMPOSIUM
July 06-10, 2022, Volos, Greece
Organized by the University of Thessaly
http://panhellenic-logic-symposium.org/
The Panhellenic Logic Symposium (PLS), a biennial scientific event established in 1997, 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, it 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.
Submission Guidelines
The Scientific Committee cordially invites all researchers in the area of the conference to submit their papers.
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.
List of Topics
- Computability Theory
- History and Philosophy of Logic
- Logic in Computer Science
- Model Theory
- Nonclassical and Modal Logics
- Proof Theory
- Set Theory
Important Dates (2022)
Deadline for submission: Thursday, March 31, 2022
Notification: Monday, April 18, 2022
Final version due: Wednesday, May 18, 2022
Committees
Program Committee
-
Antonis Achilleos, Reykjavik University, Iceland
-
George Barmpalias, Chinese Academy of Sciences, China (co-chair)
-
Costas Dimitracopoulos, University of Athens, Greece
-
Pantelis Eleftheriou, University of Leeds
-
Vassilis Gregoriades, National Technical University of Athens, Greece
-
Kostas Hatzikiriakou, University of Thessaly, Greece
-
Antonis Kakas, University of Cyprus, Cyprus
-
Alex Kavvos, University of Bristol, UK
-
Nikolaos Papaspyrou, National Technical University of Athens, Greece
-
Thanases Pheidas, University of Crete, Greece
-
Rizos Sklinos, Chinese Academy of Sciences
-
Ana Sokolova, University of Salzburg, Austria
-
Alexandra Soskova, Sofia University, Bulgaria
-
Mariya Soskova, University of Wisconsin–Madison, USA
-
Yannis Stephanou, University of Athens, Greece
-
Konstantinos Tsaprounis, University of the Aegean, Greece (co-chair)
-
Nikos Tzevelekos, Queen Mary University of London, UK
-
Niki Vazou, IMDEA Institute, Spain
-
Stathis Zachos, National Technical University of Athens, Greece
Organizing committee
-
Kostas Hatzikiriakou, University of Thessaly, Greece (chair)
-
Nikolaos Papaspyrou, National Technical University of Athens, Greece
-
Vasiliki Papayiannakopoulou, University of Thessaly, Greece
Invited Speakers
• Andrew Brooke-Taylor, University of Leeds, UK
• Takayuki Kihara, Nagoya University, Japan
• Julia Knight, University of Notre Dame, USA (TBC)
• 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
Venue
The Thirteenth Panhellenic Logic Symposium will be hosted on-site in Volos (Βόλος), Thessaly, and on-line, and is organized by the University of Thessaly.
Contact
General enquiries: pls13@softlab.ntua.gr
George Barmpalias and Konstantinos Tsaprounis, Chairs of the Scientific Committee
Kostas Hatzikiriakou, Chair of the Organizing Committee
Sponsors
University of Thessaly
University of Cyprus
European Mathematical Society (EMS)
Foundation Compositio Mathematica
Association for Symbolic Logic (ASL)