News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

23 July 2014, Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2014), Vienna, Austria

Date: 23 July 2014
Location: Vienna, Austria
Deadline: 28 April 2014

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. 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.

For further information see the workshop web page at http://vsl2014.at/arqnl/.

We welcome contributions from computer scientists, linguists, philosophers, and mathematicians. These contributions may range from theory to system descriptions and implementations; they may also outline relevant applications and describe example problems and benchmarks. 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.

Please note that this newsitem has been archived, and may contain outdated information or links.