 | NCL'24: Non-Classical Logics: Theory and Applications 2024 University of Lodz Conference Center Łódź, Poland, September 5-8, 2024 |
| Conference website | https://easychair.org/smart-program/NCL'24/ |
| Submission link | https://easychair.org/conferences/?conf=ncl24 |
| Conference program | https://easychair.org/smart-program/NCL'24/ |
| Abstract registration deadline | May 5, 2024 |
| Submission deadline | May 10, 2024 |
| Notification | June 15, 2024 |
| Registration opens | June 30, 2024 |
| Full papers final version due | July 20, 2024 |
| Short abstracts submission deadline | July 20, 2024 |
| Short abstracts notification | July 30, 2024 |
Aims
The Conference — devoted to non-classical logics — was initially held in Łódź in September 2008 and 2009. Later on, it was organized alternately in Toruń (2010, 2012, 2015, 2018) and Łódź (2011, 2013, 2016, 2022). The conference serves as a forum to exchange novel results effectively and to survey works in non-classical logics, broadly construed, and their applications.
In this year's, eleventh, edition of the Conference we particularly welcome submissions concerned with term-forming operators and formalisation of complex names, like definite descriptions, both with regard to their philosophical background and formal properties, as well as applications in mathematics and computer science (e.g., in databases or ontologies).
Scope
Topics of theoretical and applied interest including (but not limited to):
- many-valued logics,
- modal logics,
- non-monotonic logics,
- paraconsistent logics,
- plausible reasoning,
- substructural logics,
- contra-classical logics,
- relevant and connexive logics,
- description logics,
- proof theory,
- computational complexity of logics.
Cross-disciplinary submissions concerning logics in the context of:
- cognitive science,
- computer science,
- foundations of mathematics,
- philosophy of language,
- philosophy of mind
are also welcome.
Workshop on Connexive Logics
This year's edition of the Conference will be co-located with the 9th Workshop on Connexive Logics which will be held on 8th and 9th September 2024.
Submission Guidelines
There are two types of contributions:
- full papers
- short abstracts.
Participants are invited to submit their papers on all topics relevant to the conference. Cross-disciplinary contributions are particularly welcome.
All submissions should be in English, written in the EPTCS format (style files and formatting instructions are available here).
Full papers must not exceed 12 pages excluding references. Clearly marked appendices containing additional figures, proofs etc. are allowed and will be refereed at the discretion of the reviewers. However, the appendix will not be included in the final version of the conference proceedings.
Short abstracts should not exceed 2 pages, including references. They will undergo light reviewing by the PC members. Authors of accepted short abstracts will be allotted 15-minute slots in the short presentations session.
Both full papers and short abstracts should be submitted via the Non-Classical Logics EasyChair website:
https://easychair.org/conferences/?conf=ncl24
At least one of the authors of an accepted submission must register for and attend the conference for the contribution to be presented.
Committees
Program Committee
- Sankha S. Basu (Indraprastha Institute of Information Technology Delhi, India)
- Patrick Blackburn (University of Roskilde, Denmark)
- Alexander Bolotov (University of Westminster, UK)
- Stéphane Demri (CNRS & ENS Paris-Saclay, France)
- Tomasz Jarmużek (Nicolaus Copernicus University, Toruń, Poland)
- Norihiro Kamide (Nagoya City University, Aichi, Japan)
- Nils Kürbis (University of Lodz, Poland / University of Bochum, Germany / University College London, UK)
- Timo Lang (University College London, UK)
- Dorota Leszczyńska-Jasion (Adam Mickiewicz University, Poznań, Poland)
- João Marcos (Federal University of Santa Catarina, Florianópolis, Brazil)
- Manuel Antonio Martins (University of Aveiro, Portugal)
- Dale Miller (Inria Saclay - Île-de-France, Palaiseau, France)
- Nicola Olivetti (Aix-Marseille University, France)
- Eugenio Orlandelli (University of Bologna, Italy)
- Francesco Paoli (University of Cagliari, Italy)
- Luiz Carlos Pereira (Pontifical Catholic University of Rio de Janeiro, Brazil)
- Thomas Piecha (University of Tübingen, Germany)
- Elaine Pimentel (University College London, UK)
- Francesca Poggiolesi (Université Paris 1 Panthéon-Sorbonne, France)
- Revantha Ramanayake (University of Groningen, The Netherlands)
- Yaroslav Shramko (Kryvyi Rih State Pedadogical University, Ukraine)
- Heinrich Wansing (Ruhr University Bochum, Germany)
Organizing committee
- Andrzej Indrzejczak (Head, University of Lodz, Poland)
- Yaroslav Petrukhin (University of Lodz, Poland)
- Przemysław Wałęga (University of Oxford, UK / University of Lodz, Poland)
- Michał Zawidzki (University of Lodz, Poland)
Invited Speakers
Non-Classical Logics. Theory and Applications
- Agata Ciabattoni (Vienna University of Technology, Austria)
- Valentin Goranko (Stockholm University, Sweden)
- Rajeev Gore (Australian National University, Canberra, Australia)
- Hanamantagouda P. Sankappanavar (State University of New York at New Paltz, USA)
- Andrzej Wiśniewski (Adam Mickiewicz University, Poznań, Poland)
Workshop on Connexive Logics
- Mateusz Klonowski (Nicolaus Copernicus University, Toruń, Poland)
- Jacek Malinowski (Institute of Philosophy and Sociology, Polish Academy of Sciences, Warsaw, Poland)
- Satoru Niki (Ruhr University Bochum, Germany)
- Grigory Olkhovikov (Ruhr University Bochum, Germany)
- Francesco Paoli (University of Cagliari, Italy)
Publication
All accepted full papers will be included in the proceedings of the event, published as an open-access volume of the Electronic Proceedings in Theoretical Computer Science.
Accepted short abstracts will not be included in the conference proceedings, but will be made available at the conference.
Selected authors of both types of contributions will be invited to submit extended versions of their papers to a special post-conference issue of the Bulletin of the Section of Logic.
Venue
The conference will be held at the Conference Center of the University of Lodz (16/18 Kopcińskiego St., Łódź, Poland, Google Maps).
Contact
All questions about submissions should be emailed to
Andrzej Indrzejczak (andrzej.indrzejczak@filhist.uni.lodz.pl)
or
Michał Zawidzki (michal.zawidzki@filhist.uni.lodz.pl)
or
Tomasz Jarmużek (jarmuzek@umk.pl, Workshop on Connexive Logics).
Sponsors
- European Research Council