\n

\n The ARQNL workshop aims at fostering the deve lopment of proof\n calculi, ATP systems and model finders for all sorts of\n quantifie d non-classical logics. The workshop will provide a\n forum for researchers to present and di scuss recent\n developments in this area. In particular, we are interested\n in all s orts of applications and problem formalizations th at\n use a quantified non-classical logic. A particular emphasis of\n the first editio n of the ARQNL workshop will be on quantified\n modal logics.\n

\n \n \n\n For further information see the wor kshop web page at\n http://vsl2014.at/arqn l/.\n

\n\n

URL:/NewsandEvents/Events/Conferences/newsitem/564
4/23-July-2014-Automated-Reasoning-in-Quantified-N
on-Classical-Logics-ARQNL-2014-Vienna-Austria
END:VEVENT
END:VCALENDAR
\n We welcome contributions from computer scie ntists, linguists,\n philosophers, and math ematicians. These contributions may\n rang e from theory to system descriptions and implement ations; they may\n also outline relevant ap plications and describe example problems and\n benchmarks. \n Research papers (up to 1 5 pages), short papers, talk abstracts, and\n system demonstrations (up to 5 pages) are solic ited. The submission\n deadline is April 28 th.\n

\n