18 Jul 2018
Oxford, England
Cc: Jens Otten <jeotten@ifi.uio.no>
Subject: ARQNL 2018: Automated Reasoning in Quantified Non-Classical Logics,
18 July 2018, Oxford
- CALL FOR PAPERS -
ARQNL 2018 - Automated Reasoning in Quantified Non-Classical Logics
3rd International Workshop (associated with FLoC and IJCAR 2018)
18 July 2018, Oxford, United Kingdom
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 April 15th. Proceedings will be published in the EasyChair
Proceedings in Computing (EPiC) series. For further information see
the workshop website at http://iltp.de/ARQNL-2018/.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam