ARW-DT Call for Papers

arw-dt2014 – Joint Automated Reasoning Workshop and Deduktionstreffen
July 23-24, 2014 · Vienna, Austria


Aims and Scope

For many years the British and the German automated reasoning communities have successfully run independent series of workshops for anybody working in  the area of automated reasoning. Although open to the general public they addressed in the past primarily the British and the German communities, respectively. At the occasion of the Vienna Summer of Logic the two series will have a joint event in Vienna as a IJCAR workshop. In the spirit of the two series there will be no formal proceedings and we try to maintain the informal open atmosphere of the two series. We welcome in particular research students to present their work. We solicit for all work related to automated reasoning and its applications. We are particularly interested in work-in-progress and the presentation of half-baked ideas.

As in the previous years, we aim to bring together researchers from all areas of automated reasoning in order to foster links among researchers from various disciplines; among theoreticians, implementers and users alike, and among international communities, this year not just the British and German communities.

Topics include but are not limited to:

  • Theorem proving in classical and non-classical logics
  • Interactive theorem proving, logical frameworks, proof assistants, proof-planning
  • Reasoning methods 
      o Saturation-based, instantiation-based, tableau, SAT
      o Equational reasoning, unification
      o Constraint satisfaction
      o Decision procedures, SMT
      o Combining reasoning systems
      o Non-monotonic reasoning, commonsense reasoning,
      o Abduction, induction
      o Model checking, model generation, explanation
  • Formal methods to specifying, deriving, transforming and verifying computer systems, requirements and software
  • Logic-based knowledge representation and reasoning:
      o Ontology engineering and reasoning
      o Domain specific reasoning (spatial, temporal, epistemic,agents, etc)
  • Logic and functional programming, deductive databases
  • Implementation issues and empirical results, demos
  • Practical experiences and applications of automated reasoning

For each accepted abstract we expect that one of the authors gives a short plenary presentation as well as a poster presentation at the workshop. Authors of accepted presentations will have a chance to revise their submissions.

Suggestions for a panel session should include a list of potential panellists in addition to the topic and to a statement of relevance. These suggestions should also be submitted via the same EasyChair route.


Important Dates

Submission of Abstracts/panel proposals 16 May 2014 (extended)
Notification of Acceptance 18 May 2014
Final Version 20 May 2014
Workshop 23-24 July 2014


Paper Submissions

We invite the submission of two-page abstracts for poster presentations as well as for suggestions for panel sessions. The two-page abstracts in pdf format should be submitted via EasyChair at https://www.easychair.org/conferences/?conf=arwdt2014, following the format provided at http://www.cs.bham.ac.uk/~mmk/events/ARW-DT2014/.

Program Committee