Skip to Content.
Sympa Menu

coq-club - [Coq-Club] CFP - ARQNL 2016 - Automated Reasoning in Quantified Non-Classical Logics

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CFP - ARQNL 2016 - Automated Reasoning in Quantified Non-Classical Logics


Chronological Thread 
  • From: geoff AT cs.miami.edu (Geoff Sutcliffe)
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] CFP - ARQNL 2016 - Automated Reasoning in Quantified Non-Classical Logics
  • Date: Tue, 15 Mar 2016 10:52:13 -0400 (EDT)
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=geoff AT cs.miami.edu; spf=Pass smtp.mailfrom=geoff AT cs.miami.edu; spf=None smtp.helo=postmaster AT mcclellan.cs.miami.edu
  • Ironport-phdr: 9a23:eMmaiBOnjt/0likpUasl6mtUPXoX/o7sNwtQ0KIMzox0KP/8rarrMEGX3/hxlliBBdydsKIUzbKO+Py9EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35Txj7j5p8CbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBK79ZuEzSaFSJDUgKWE8osPx5jfZSg7a6XYbXGs+mQEOBgnM6RC8U5vs+mvVu+1z1mGhINH9SbE6VznjvPQjcwPhlCpSb21xy2rQkMEl1K8=

First Call for Papers

ARQNL 2016 - Automated Reasoning in Quantified Non-Classical Logics

2nd International Workshop (associated with IJCAR 2016)
1 July 2016, Coimbra, Portugal

Website: http://iltp.de/ARQNL-2016/.

Deadline:
Abstract submission: 25 April 2016
Paper submission: 2 May 2016

Description:
Non-classical logics -- such as modal logics, conditional logics,
intuitionistic logic, description logics, temporal logics, linear
logic, dynamic logic, fuzzy logic, paraconsistent logic, relevance
logic -- have many applications in AI, Computer Science, Philosophy,
Linguistics and Mathematics. Hence, the automation of proof search
in these logics is a crucial task.

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.

Paper formats:
Research papers (up to 15 pages), or short papers, talk abstracts, and
system demonstrations (up to 6 pages) are solicited. The submission
deadline is May 2nd.

Publication:
Proceedings will be published in the EasyChair
Proceedings in Computing (EPiC) series. For further information see
the workshop website at

Programme Committee
Carlos Areces, Universidad Nacional de C=C3=B3rdoba
Christoph Benzmueller (co-chair), Freie Universit=C3=A4t Berlin
Walter Carnielli, Centre for Logic, Epistemology and the History of Science
-- CLE
Christian Fermueller, TU Wien
Rajeev Gore, The Australian National University
Andreas Herzig, IRIT-CNRS
Stephan Merz, INRIA Nancy
Till Mossakowski, University of Magdeburg
Hans De Nivelle, University of Wroclaw
Jens Otten (co-chair), University of Potsdam
Valeria De Paiva, University of Birmingham
Giselle Reis, INRIA Saclay
Julian Richardson, Google Inc.
Luca Vigano, King's College London
(to be completed)



  • [Coq-Club] CFP - ARQNL 2016 - Automated Reasoning in Quantified Non-Classical Logics, Geoff Sutcliffe, 03/15/2016

Archive powered by MHonArc 2.6.18.

Top of Page