Email Gateway (Apr 17 2024 at 14:08): Email Gateway (Apr 17 2024 at 14:08):From: "Benzmüller, Christoph" <cl-isabelle-users@lists.cam.ac.uk>
ARQNL 2024 - Final Call for Papers
5th International Workshop on
Automated Reasoning in Quantified Non-Classical Logics
(associated with IJCAR 2024)
1 July 2024, Nancy, France
IMPORTANT DATES
Abstract submission: 22 April 2024
Paper submission: 29 April 2024
Author notification: 3 June 2024
Final paper version: 17 June 2024
Workshop: 1 July 2024
MOTIVATION
Non-classical logics - such as modal logics, conditional logics,
intuitionistic logic, description logics, 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, the
automation of 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 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
ARQNL 2024 is associated with IJCAR 2024, 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 Oslo)
Revantha Ramanayake (University of Groningen)
PC COMMITTEE
Christoph Benzmüller (University of Bamberg)
Ana de Almeida Borges (University of Barcelona)
Camillo Fiorentini (University of Milano)
Marianna Girlando (University of Amsterdam)
Andrzej Indrzejczak (University of Lodz)
Annika Kanckos (University of Helsinki)
Dominik Kirst (Ben-Gurion University)
Timo Lang (University College London)
Tomer Libal (University of Luxembourg and Enidia AI)
Larry Moss (Indiana University Bloomington)
Nicola Olivetti (Aix-Marseille University)
Jens Otten (University of Oslo)
Xavier Parent (Vienna University of Technology)
Revantha Ramanayake (University of Groningen)
Ramaswamy Ramanujam (Institute of Mathematical Sciences, Chennai)
Univ.Prof. Dr. Christoph Benzmüller
Chair for AI Systems Engineering (AISE), Otto-Friedrich-Universität Bamberg
Prof. (apl.) at Dep. of Mathematics and Computer Science, FU Berlin
(http://christoph-benzmueller.de)<http://christoph-benzmueller.de/>
<http://christoph-benzmueller.de/>
<http://christoph-benzmueller.de/>
Last updated: May 05 2024 at 04:19 UTC