DEADLINE EXTENSION: Non-Classical Logics. Theory and Applications 2022

Wed Nov 3 10:41:37 EDT 2021

Apologies for cross-posting.

*** NCL'22: NON-CLASSICAL LOGICS. THEORY AND APPLICATIONS 2022 ***

PLACE: Institute of Philosophy, University of Lodz, Poland
DATE: March 14-18, 2022

Conference website: http://ncl.uni.lodz.pl
Submission link: https://easychair.org/conferences/?conf=ncl22

Abstract registration deadline: November 7, 2021 (extended)
Submission deadline: November 14, 2021 (extended)

Conference areas: non classical logics; logic in computer science;
formal ontology; foundations of mathematics

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). The conference serves as a forum to effectively exchange novel
results and to survey works in widely understood non-classical logics
and their applications.

This year's tenth edition of the Conference will be an occasion to
celebrate the 50th anniversary of the logic journal Bulletin of the
Section of Logic, established in 1971 and published by the University
of Łódź (https://czasopisma.uni.lodz.pl/bulletin).

The conference is planned as an on-site event, which, however,
requires that the pandemic is overcome. The organisers are monitoring
the COVID-19-related situation and, should holding the conference as a
physical event turn out infeasible, may choose to change the
conference's status to virtual. A final decision will be announced
before 10 December 2021.

***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, written in the EPTCS format
(style files and formatting instructions are available here:
http://info.eptcs.org/). They must not exceed 12 pages excluding
references. Clearly marked appendices containing additional figures,
omitted proofs etc. are allowed and will be refereed at the discretion
of the reviewers, however they 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=ncl22

At least one of the authors of an accepted paper must register for and
attend the conference for the contribution to be presented.

***List of Topics***

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.

Contributions from other related areas such as:

- cognitive science,
- computer science,
- foundations of mathematics,
- philosophy of language,
- philosophy of mind

are also welcome.

During this year's edition of the conference there will be two special sessions:

- special session devoted to formal ontology, broadly conceived,
- special session in memoriam J. Michael Dunn who passed away on April, 5, 2021.

All relevant contributions are also welcome.

***Committees***

***Program Committee***

- Alexander Bolotov (University of Westminster, UK)
- Jie Fang (Guangdong Polytechnic Normal University, China)
- Nissim Francez (The Technion, Israel)
- Valentin Goranko (Stockholm University, Sweden)
- Joanna Grygiel (Jan Dlugosz University in Czestochowa, Poland)
- Norihiro Kamide (Teikyo University, Tokyo, Japan)
- Alexander Leitsch (Vienna University of Technology, Austria)
- Jacek Malinowski (Polish Academy of Sciences)
- Manuel Antonio Martins (University of Aveiro, Portugal)
- Daniele Mundici (University of Florence, Italy)
- Sergei Odintsov (Novosibirsk State University, Russia)
- Hiroakira Ono (Japan Advanced Institute of Science and Technology)
- Eugenio Orlandelli (University of Bologna, Italy)
- Francesco Paoli (University of Cagliari, Italy)
- Jeff Pelletier (University of Alberta, Edmonton, Canada)
- Luiz Carlos Pereira (Pontifical Catholic University of Rio de Janeiro, Brazil)
- Francesca Poggiolesi (Université Paris 1 Panthéon-Sorbonne, France)
- Revantha Ramanayake (University of Groningen, The Netherlands)
- Renate Schmidt (The University of Manchester, UK)
- Yaroslav Shramko (Kryvyi Rih State Pedadogical University, Ukraine)
- Max Urchs (EBS University, Germany)
- George Tourlakis (York University, Toronto, Canada)
- Heinrich Wansing (Ruhr University Bochum, Germany)
- Dmitri Zaitsev (Moscow State Lomonosov University, Russia)

***Local Organizing Committee***

- Rafał Gruszczynski (Nicolaus Copernicus University, Torun, Poland)
- Andrzej Indrzejczak (Head, University of Lodz, Poland)
- Tomasz Jarmuzek (Nicolaus Copernicus University, Torun, Poland)
- Janusz Kaczmarek (University of Lodz, Poland)
- Mateusz Klonowski (Nicolaus Copernicus University, Torun, Poland)
- Krzysztof Krawczyk (Nicolaus Copernicus University, Torun, Poland)
- Krystyna Mruczek-Nasieniewska (Nicolaus Copernicus University, Torun, Poland)
- Marek Nasieniewski (Nicolaus Copernicus University, Torun, Poland)
- Rafał Palczewski (Nicolaus Copernicus University, Torun, Poland)
- Andrzej Pietruszczak (Nicolaus Copernicus University, Torun, Poland)
- Michal Zawidzki (University of Lodz, Poland)

***Invited Speakers***

- Patrick Blackburn (University of Roskilde, Denmark)
- Janusz Czelakowski (University of Opole, Poland)
- Stéphane Demri (CNRS, Paris, France)
- Rajeev Goré (Australian National University, Australia)
- Joanna Grygiel (Jan Dlugosz University in Czestochowa, Poland)
- Jacek Malinowski (Polish Academy of Sciences)
- María Manzano (University of Salamanca, Spain)
- Uwe Meixner (University of Augsburg, Germany)
- Daniele Mundici (University of Florence, Italy)
- Hiroakira Ono (Japan Advanced Institute of Science and Technology)
- Hanamantagouda P. Sankappanavar (State University of New York at New
Paltz, USA)
- Renate Schmidt (The University of Manchester, UK)
- Yaroslav Shramko (Kryvyi Rih State Pedadogical University, Ukraine)
- Peter Schroeder-Heister (University of Tübingen, Germany)
- Dmitri Zaitsev (Moscow State Lomonosov University, Russia)

***Publication***

All accepted and invited papers will be included in the Proceedings of
the event, published as an open-access volume of the Electronic
Proceedings in Theoretical Computer Science (http://about.eptcs.org/).
Selected authors will be invited to submit extended versions of their
papers to a special post-conference NCL'22 issue of Bulletin of the
Section of Logic (https://czasopisma.uni.lodz.pl/bulletin).

***Venue***

The conference will be held at the Institute of Philosophy at the
University of Lodz, Poland.

***Contact***

All enquiries should be directed to:

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

or

- Janusz Kaczmarek (janusz.kaczmarek at filhist.uni.lodz.pl, formal
ontology session).