Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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.