[SMT-LIB] CFP - ARQNL 2016 - Automated Reasoning in Quantified Non-Classical Logics

Geoff Sutcliffe geoff at cs.miami.edu
Tue Mar 15 10:58:07 EDT 2016


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)



More information about the SMT-LIB mailing list