14-18 Mar 2022
Lodz, Poland
------------------------------------------------------------------------------------------ *** NCL'22: Non-Classical Logics. Theory and Applications 2022 *** ------------------------------------------------------------------------------------------ Institute of Philosophy, University of ?ód?, Poland Lodz, Poland, March 14-18, 2022 Conference website: http://ncl.uni.lodz.pl Submission link: https://easychair.org/conferences/?conf=ncl22 Abstract registration deadline: October 26, 2021 Submission deadline: October 31, 2021 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? Gruszczy?ski (Nicolaus Copernicus University, Toru?, Poland) - Andrzej Indrzejczak (Head, University of ?ód?, Poland) - Tomasz Jarmu?ek (Nicolaus Copernicus University, Toru?, Poland) - Janusz Kaczmarek (University of ?ód?, Poland) - Mateusz Klonowski (Nicolaus Copernicus University, Toru?, Poland) - Krzysztof Krawczyk (Nicolaus Copernicus University, Toru?, Poland) - Krystyna Mruczek-Nasieniewska (Nicolaus Copernicus University, Toru?, Poland) - Marek Nasieniewski (Nicolaus Copernicus University, Toru?, Poland) - Rafa? Palczewski (Nicolaus Copernicus University, Toru?, Poland) - Andrzej Pietruszczak (Nicolaus Copernicus University, Toru?, Poland) - Micha? Zawidzki (University of ?ód?, 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 ?ód?, Poland. ***Contact*** All enquiries should be directed to: - Andrzej Indrzejczak (andrzej.indrzejczak@filhist.uni.lodz.pl) or - Janusz Kaczmarek (janusz.kaczmarek@filhist.uni.lodz.pl, formal ontology session). -- [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