EasyChair Smart CFPUser Guide/Log in
CFP
NCL’26: Non-Classical Logics. Theory and Applications 2026
Nicolaus Copernicus University
Toruń, Poland, October 26-28, 2026
Conference websitehttps://easychair.org/smart-program/NCL26/home.html
Submission linkhttps://easychair.org/conferences/?conf=ncl26
Conference programhttps://easychair.org/smart-program/NCL26/
Abstract registration deadlineMay 26, 2026
Submission deadlineMay 31, 2026
Topics: non classical logics knowledge representation proof theory automated reasoning

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, 2024). 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, twelfth, 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.

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:
 
 
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

Organizing committee

  • Andrzej Indrzejczak (Co-head, University of Lodz, Poland)
  • Tomasz Jarmużek (Co-head, Nicolaus Copernicus University, Toruń, Poland)
  • Mateusz Klonowski (Nicolaus Copernicus University, Toruń, Poland)
  • Michał Oleksowicz (Nicolaus Copernicus University, Toruń, Poland)
  • Michał Zawidzki (University of Lodz, Poland)

Invited Speakers

TBA

Publication

All accepted full papers will be published in the conference proceedings. The proceedings are planned to appear as an open-access volume in a recognised international conference proceedings venue. Final details will be announced in due course.
 
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 or Logic and Logical Philosophy.

Venue

The conference will be held at the Faculty of Humanities ("Harmonijka" building) at Nicolaus Copernicus University (1A Fosa Staromiejska St., Toruń, Poland, Google Maps)

Contact

All questions about submissions should be emailed to:
 
 
or
 
 
or
 
Tomasz Jarmużek (jarmuzek@umk.pl).

Sponsors

  • European Research Council
Copyright © 2002 – 2026 EasyChair