ARW-DT 2014 - AUTOMATED REASONING WORKSHOP/DEDUKTIONSTREFFEN PROCEEDINGS: EDITOR'S PREFACE

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 have a joint event in Vienna as
an IJCAR workshop. In the spirit of the two series there will be only
informal proceedings with abstracts of the works presented. These are
collected in this document. We have tried to maintain the informal
open atmosphere of the two series and have welcomed in particular
research students to present their work. We have solicited for all
work related to automated reasoning and its applications with a
particular interest in work-in-progress and the presentation of
half-baked ideas.

As in the previous years, we have aimed 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

Topics of interest include but are not limited to:

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


For the Programme Committee:
Alexander Bolotov and  Manfred Kerber