ARQNL 2018: 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics Oxford, UK, July 18, 2018 |
Conference website | http://iltp.de/ARQNL-2018/ |
Abstract registration deadline | April 8, 2018 |
Submission deadline | April 15, 2018 |
- 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
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/.