[Event at CIG] Final CFP (extended deadline): Non-Classical Logics. Theory and Applications XI, Lodz, Poland, September 5-8, 2024

[Michał Zawidzki]

--------------------------------------------------------------------------------------
*NON-CLASSICAL LOGICS. THEORY AND APPLICATIONS XI*
--------------------------------------------------------------------------------------

*CALL FOR PAPERS*

*DATES*

*Abstract registration deadline (extended):* May 5, 2024
*Submission deadline (extended):* May 10, 2024
*Conference website:* https://easychair.org/smart-program/NCL'24/
*Submission link:* https://easychair.org/conferences/?conf=ncl24

*AIMS*

The Conference — devoted to non-classical logics — was initially held
in Lodz 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*

Participants are invited to submit their papers on all topics relevant
to the conference. Cross-disciplinary contributions are particularly
welcome. Articles should be in English and 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. All
papers 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 paper must register for and
attend the conference for the contribution to be presented.

*REVIEWING PROCESS*

Each contribution will be reviewed by at least two members of the
program committee. Papers will be accpeted/rejected based on the
scores given by the reviewers and on the discussion of the PC members
stemming from the former.

*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 Jarmuzek (Nicolaus Copernicus University, Toruń, Poland)
- Norihiro Kamide (Nagoya City University, Aichi, Japan)
- Nils Kurbis (University of  Lodz, Poland / University of Bochum,
Germany / University College London, UK)
- Timo Lang (University College London, UK)
- Dorota Leszczynska-Jasion (Adam Mickiewicz University, Poznań, Poland)
- Joao  Marcos (Federal University of Santa Catarina, Florianopolis, Brazil)
- Manuel Antonio Martins (University of Aveiro, Portugal)
- Dale Miller (Inria Saclay - Ile-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 Pantheon-Sorbonne, France)
- Revantha Ramanayake (University of Groningen, The Netherlands)
- Yaroslav Shramko (Kryvyi Rih State Pedadogical University, Ukraine)
- Heinrich Wansing (Ruhr University Bochum, Germany)

*ORGANISING COMMITTEE*

- Andrzej Indrzejczak (Head, University of Lodz, Poland)
- Yaroslav Petrukhin (University of Lodz, Poland)
- Przemyslaw Walega (University of Oxford, UK / University of Lodz, Poland)
- Michal Zawidzki (University of Lodz, Poland)

*INVITED SPEAKERS*

*Non-Classical Logic. 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 Wisniewski (Adam Mickiewicz University, Poznań, Poland)

*Workshop on Connexive Logics*

- Mateusz Klonowski (Nicolaus Copernicus University, Torun, 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 papers will be included in the proceedings of the event,
published as an open-access volume of the Electronic Proceedings in
Theoretical Computer Science. Selected authors 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 Kopcinskiego St., Lodz, Poland).

*CONTACT*

All questions about submissions should be emailed to

Andrzej Indrzejczak (andrzej.indrzejczak at filhist.uni.lodz.pl)

or

Michal Zawidzki (michal.zawidzki at filhist.uni.lodz.pl)

or

Tomasz Jarmuzek (jarmuzek at umk.pl, Workshop on Connexive Logics).

*SPONSORS*

European Research Council