ARQNL 2026 - Call for Papers

                   6th International Workshop on
     Automated Reasoning in Quantified Non-Classical Logics
                  (associated with IJCAR 2026)

                 24 July 2026, Lisbon, Portugal

                     http://iltp.de/ARQNL-2026/

IMPORTANT DATES

Abstract submission: 27 April 2026
Paper submission: 4 May 2026
Author notification: 15 June 2026
Final paper version: 29 June 2026
Workshop: 24 July 2026


MOTIVATION

Non-classical logics – such as modal logics, conditional logics,
intuitionistic logic, description logics, logic of here-and-there,
temporal logics, linear logic, dynamic logic, deontic logics, fuzzy
logic, paraconsistent logic, relevance logic – have many applications
in AI, Computer Science, Philosophy, Linguistics and Mathematics.
Hence, automating the proof search in these logics is a crucial task.


AIMS AND SCOPE

The ARQNL workshop aims at fostering the development of proof
calculi, automated theorem proving systems and model finders for
all sorts of quantified non-classical logics. The workshop will
provide a forum for researchers to present and discuss recent
developments in this area. The contributions may range from theory
to system descriptions and implementations. Contributions may also
outline relevant applications, describe problem formalizations,
example problems, and benchmarks. We welcome contributions from
computer scientists, linguists, philosophers, and mathematicians.

Topics of the ARQNL workshop will cover all aspects related to the
automation of quantified non-classical logics, including but not
limited to:

* Proof theory, semantics, meta theory, and cut-elimination
* Proof search calculi, including sequent calculi, tableau calculi,
  connection calculi, resolution calculi, and instance-based calculi
* Modal logic, conditional logic, intuitionistic logic, description
  logic, temporal logic, linear logic, multivalued logic, dynamic
  logic, deontic logic, fuzzy logic, paraconsistent logic, relevance
  logic, free logic, and natural logic
* Techniques, strategies and heuristics to deal with first-order or
  higher-order quantification
* Implementation of theorem provers and experimental evaluations
* Problem libraries and benchmarking for theorem provers
* Applications, formalizations, and example problems
* User interfaces, proof representation, and syntax issues

ARQNL 2026 is associated with IJCAR 2026, the International Joint
Conference on Automated Reasoning.


PAPER SUBMISSIONS

Submissions of papers are solicited in three categories:
(A) Full papers (up to 15 pages excluding references)
(B) Short papers (up to 8 pages excluding references)
(C) Talk abstracts (up to 2 pages excluding references)

Submission is electronically, through EasyChair (see the ARQNL
website for further details). Submissions will be refereed by the
programme committee, and evaluated with respect to relevance,
originality, and correctness. Proceedings will be published in the
CEUR Workshop Proceedings.


PROGRAMME COMMITTEE (PC)

PC CHAIRS
Christoph Benzmüller (University of Bamberg)
Jens Otten (University of Pernambuco)
Revantha Ramanayake (University of Groningen)

PC COMMITTEE
(TBA)