PLS13: THE THIRTEENTH PANHELLENIC LOGIC SYMPOSIUM

[Alexandra Soskova]

PLS13: THE THIRTEENTH PANHELLENIC LOGIC SYMPOSIUM
============================================================

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 a 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 for 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 area
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 at softlab.ntua.gr

============================================================
GRANTS

Some travel grants will be provided for students and young
researchers. Details will be uploaded on the conference webpage.
============================================================
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
– Rizos Sklinos, Stevens Institute of Technology
– 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 at softlab.ntua.gr

CONTACTS:

– George Barmpalias (barmpalias at gmail.com)
– Konstantinos Tsaprounis (kostas.tsap at gmail.com)
Chairs of the Scientific Committee

– Kostas Hatzikiriakou (kxatzkyr at uth.gr), Chair of the Organizing Committee

=======================================================================

Alexandra Soskova
Sofia University