arw-dt2014 - Joint Automated Reasoning Workshop and Deduktionstreffen July 23-24, 2014 Vienna, Austria http://vsl2014.at/pages/ARWDT-index.html 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/.