Second CfP and deadline extension: 14th Panhellenic Logic Symposium

Second CfP and deadline extension: 14th Panhellenic Logic Symposium

[Alex Kavvos]

[-- Attachment #1: Type: text/plain, Size: 7745 bytes --]

*** The deadlines for the 14th Panhellenic Logic Symposium have now been extended. ***

*** Please see below. ***



PLS14: THE FOURTEENTH PANHELLENIC LOGIC SYMPOSIUM

July 01-05, 2024, Thessaloniki, Greece

Organized by the Aristotle University of Thessaloniki

http://panhellenic-logic-symposium.org/<https://url.au.m.mimecastprotect.com/s/o2fUCRONg6s9Ek52io05Dp?domain=panhellenic-logic-symposium.org>

Dedicated to the memory of Thanases Pheidas.

Paper submission link:

https://easychair.org/conferences/?conf=pls140<https://url.au.m.mimecastprotect.com/s/vsT2CVARmOHr3LgGsWV2Un?domain=easychair.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.

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

IMPORTANT DATES - DEADLINES HAVE NOW BEEN EXTENDED

* Deadline for submission Friday, April 5 2024
* Notification Monday, April 29 2024
* Final version due Wednesday, May 29 2024


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

INVITED SPEAKERS

- Aristotelis Panagiotopoulos, Kurt Gödel Research Center University of Vienna

- Christina Vassilakopoulou, National Technical University of Athens

- David Aspero, University of East Anglia [to be confirmed]

- Isolde Adler, University of Bamberg

- Matthias Aschenbrenner, University of Vienna

- Paul Blain Levy, University of Birmingham

- Yannick Forster, Inria

TUTORIALS

- Angeliki Koutsoukou-Argyraki, Royal Holloway University of London

- Takayuki Kihara, Nagoya University

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

SPECIAL SESSIONS

Logic and Philosophy: Higher-Order Logic

- Bruno Jacinto, University of Lisbon

- Cian Dorr, New York University

- Gabriel Uzquiano, University of Southern California

Special session in memory of Thanases Pheidas

- Dimitra Chompitaki, University of Crete

- Konstantinos Kartas, IMJ-PRG/Sorbonne Université

- Lefteris Kirousis, University of Athens

- Xavier Vidaux, University of Concepción [to be confirmed]

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

SUBMISSION GUIDELINES

Research papers

The Scientific Committee invites all researchers in the areas of the conference to submit their papers for presentation at PLS14.

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 an informal, electronic proceedings volume, which will be posted on the event's webpage. During the actual event, each accepted paper should be presented by at least one of its authors.

Papers should be written in English, a maximum of 5 pages long, and prepared (in PDF format) using the EasyChair class style (easychair.org/publications/for_authors<https://url.au.m.mimecastprotect.com/s/Vbl9CWLVn6i7OgDJfLEr-2?domain=easychair.org>). Submissions will happen through EasyChair.

Paper submission link:

https://easychair.org/conferences/?conf=pls140<https://url.au.m.mimecastprotect.com/s/vsT2CVARmOHr3LgGsWV2Un?domain=easychair.org>

Poster session

Graduate students and early-career researchers are invited to submit a short, 1-page abstract on preliminary work that may not be ready for a full talk yet. 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 in which senior researchers will discuss the posters and provide feedback to the authors.

Interested students and early-career researchers should submit their abstracts by

Wednesday, 29 May 2024

Submissions will be accepted by email at the address

pls14@softlab.ntua.gr

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

GRANTS

Students may apply for travel funds to the Association for Symbolic Logic (ASL), under the following provisions: a) the applicants are ASL members and b) the application is received three months prior to the start of the meeting. See

https://aslonline.org/meetings/student-travel-awards/<https://url.au.m.mimecastprotect.com/s/7HbrCXLW6Div2yOwFroqFM?domain=aslonline.org>

for more details.

Further travel grants will be provided for students and young researchers. Details will be uploaded on the conference webpage.

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

LIST OF TOPICS

Areas of interest include (but are not limited to):

- Computability theory

- Model theory

- Set theory

- Proof theory

- Categorical logic

- Philosophical logic

- Nonclassical and modal logics

- Logic in Computer Science

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

COMMITTEES

Program Committee

Alex Kavvos, University of Bristol (chair)

Alexandra Soskova, Sofia University

Ana Sokolova, University of Salzburg

Andrew Lewis-Pye, London School of Economics

Antonis Achilleos, Reykjavik University

Antonis Kakas, University of Cyprus

Costas Dimitracopoulos, University of Athens

Elli Anastasiadi, Uppsala University

George Barmpalias, Chinese Academy of Sciences

Konstantinos Tsaprounis, University of the Aegean

Kostas Hatzikiriakou, University of Thessaly

Pantelis Eleftheriou, University of Leeds

Rizos Sklinos, University of Crete

Vassilis Gregoriades, National Technical University of Athens (chair)

Yannis Stephanou, University of Athens

Organizing committee

Ioannis Souldatos, University of Thessaloniki (chair)

Nikolaos Papaspyrou, National Technical University of Athens

Paraskevas Alvanos, University of Thessaloniki

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

CONTACTS

General enquiries: pls14@softlab.ntua.gr

Alex Kavvos and Vassilis Gregoriades, Chairs of the Scientific Committee

Ioannis Souldatos, Chair of the Organizing Committee

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

SPONSORS

European Mathematical Society

Foundation Compositio Mathematica

Association for Symbolic Logic

Aristotle University of Thessaloniki

University of Bristol

University of Cyprus


… Alex Kavvos
… Senior Lecturer in Programming Languages
… School of Computer Science, University of Bristol, UK
… https://seis.bristol.ac.uk/~tz20861/<https://url.au.m.mimecastprotect.com/s/b81ZCYW86EsRMJArCw7DVe?domain=seis.bristol.ac.uk>

… Alex Kavvos
… Senior Lecturer in Programming Languages
… School of Computer Science, University of Bristol, UK
… https://seis.bristol.ac.uk/~tz20861/<https://url.au.m.mimecastprotect.com/s/b81ZCYW86EsRMJArCw7DVe?domain=seis.bristol.ac.uk/>


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 10543 bytes --]