23 Jul 2014
Vienna, Austria
- CALL FOR PAPERS -
ARQNL-2014: Automated Reasoning in Quantified Non-Classical Logics
IJCAR Workshop (part of the Vienna Summer of Logic)
23 July 2014 - Vienna, Austria
The ARQNL workshop aims at fostering the development of proof calculi,
ATP 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. These contributions may
range from theory to system descriptions and implementations; they may
also outline relevant applications and describe example problems and
benchmarks. We welcome contributions from computer scientists, linguists,
philosophers, and mathematicians. In particular, we are interested in all
sorts of applications and problem formalizations that use a quantified
non-classical logic. A particular emphasis of the first edition of the
ARQNL workshop will be on quantified modal logics.
Research papers (up to 15 pages), short papers, talk abstracts, and
system demonstrations (up to 5 pages) are solicited. The submission
deadline is April 28th.
Proceedings will be published in the EasyChair Proceedings in Computing
(EPiC) series. For further information see the workshop web page at
http://vsl2014.at/arqnl/