Logic List Mailing Archive

FW: ARQNL 2024 - Final Call for Papers

--------------------------------------------------------------------

                 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



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



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 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 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 Benzmller (University of Bamberg)

Jens Otten (University of Oslo)

Revantha Ramanayake (University of Groningen)



PC COMMITTEE

Christoph Benzmller (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 Benzmller
Chair for AI Systems Engineering (AISE), Otto-Friedrich-Universitt Bambe
rg
Prof. (apl.) at Dep. of Mathematics and Computer Science, FU Berlin
(http://christoph-benzmueller.de)<http://christoph-benzmueller.de/>
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php