[Om-announce] Automated Reasoning in Quantified Non-Classical Logics - Call for Papers

[geoff at cs.miami.edu]

ARQNL 2022 - Call for Papers

4th International Workshop on
Automated Reasoning in Quantified Non-Classical Logics
(associated with FLoC and IJCAR 2022)

11 August 2022, Haifa, Israel

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

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.

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
and describe example problems and benchmarks. We welcome contributions
from computer scientists, linguists, philosophers, and mathematicians.

Research papers (up to 15 pages), or short papers, talk abstracts, and
system demonstrations (up to 8 pages) are solicited. The submission
deadline is May 6th. The ARQNL Proceedings will be published in the
CEUR Workshop Proceedings. For further information see the workshop
website at http://iltp.de/ARQNL-2022/.