Logic List Mailing Archive

PLS13: Panhellenic Logic Symposium, postponed to July 2022

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

PLS13: THE THIRTEENTH PANHELLENIC LOGIC SYMPOSIUM
Postponed to: July 2022, Volos, Greece
Organized by the University of Thessaly
http://panhellenic-logic-symposium.org/

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

IMPORTANT UPDATE:

- The meeting is postponed to July 2022, due to the uncertainties related
to the pandemic. Exact dates will be decided at a later stage.

- Currently submitted papers will be reviewed according to this year's
schedule.

- Accepted papers will be announced per schedule this year and will be
included in the online proceedings. The submission and notification
process will be repeated next year.

- The authors of accepted papers this year have the options to:

(a) Send us this year a pre-recorded video of their presentation which will
be posted on our webpage and also present live next year during the actual
event

(b) Present directly during the actual event in 2022

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

SUBMISSION DATES

Submission and review process has closed and will be repeated next
year, around spring 2022.

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

Tentative list of speakers - July 2022


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

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

SECOND CALL FOR PAPERS

The second call is postponed to 2022, as is the actual event. The
articles received during the first call will be reviewed per previous
schedule, the authors will be notified and accepted papers will be
included in the online proceedings this year. The submission and
notification process will be repeated in 2022.

The authors of accepted papers this year have the options to:

(a) Send us this year a pre-recorded video of their presentation which will
be posted on our webpage and also present live next year during the actual
event

(b) Present directly during the actual event in 2022

Accepted papers will appear in the electronic volume of the event's
(informal) proceedings; the volume will be posted on the event's
webpage.

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 done by EasyChair at:

https://www.easychair.org/my/conference?conf=pls2021

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

POSTER SESSION AND MENTORING SESSION (July 2022)

Graduate students and young researchers will be 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.

The submission of abstracts is postponed to 2022.

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

GRANTS

Limited travel grants will be available for students and young researchers
- see the 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@softlab.ntua.gr

CONTACTS:

Chairs of the Scientific Committee:

? George Barmpalias (barmpalias@gmail.com)
? Konstantinos Tsaprounis (kostas.tsap@gmail.com)

Chair of the Organizing Committee:

? Kostas Hatzikiriakou (kxatzkyr@uth.gr)

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

SPONSORS

The event is supported by the following sources:

? Association for Symbolic Logic (https://aslonline.org)
? European Mathematical Society (https://euro-math-soc.eu)
? Foundation Compositio Mathematica (https://compositio.nl)
? University of Thessaly (https://www.uth.gr/)
? University of Cyprus (http://www.ucy.ac.cy/en/)

======================================================================
--
[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