-------------------------------------------------------------------- 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 https://iltp.de/ARQNL-2026/ IMPORTANT DATES Abstract submission: 27 April 2026 Paper submission: 4 May 2026 Author notification: 1 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, which is part of FLoC 2026, the Federated Logic Conference. 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 MEMBERS Amir Akbar Tabatabai, University of Groningen Guillaume Aucher, University of Rennes Christoph Benzmüller, University of Bamberg Torben Braüner, Denmark Roskilde University Camillo Fiorentini, University of Milano Didier Galmiche, Université de Lorraine, CNRS, LORIA Rajeev Goré, Monash University, Melbourne Andrzej Indrzejczak, University of Lodz Timo Lang, Huawei Ireland Research Centre & University College London Dominique Larchey-Wendling, Université de Lorraine, CNRS, LORIA Tomer Libal, University of Luxembourg and Enidia AI Anela Lolić, TU Wien Larry Moss, Indiana University Bloomington Jens Otten, University of Pernambuco Xavier Parent, TU Wien Luca Pasetto, University of Luxembourg Adam Pease, Naval Postgraduate School Yaroslav Petrukhin, University of Łódź Revantha Ramanayake, University of Groningen Ian Shillito, University of Birmingham Dmitry Shkatov, University of the Witwatersrand, Johannesburg --------------------------------------------------------------------