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/.
Program Committee
- Serge Autexier (DFKI)
- Bernhard Beckert (Karlsruhe Institute of Technology)
- Christoph Benzmüller (Freie Universität Berlin)
- Alexander Bolotov (University of Westminster) - chair
- Simon Colton (Department of Computing, Goldsmiths College, University of London)
- Louise Dennis (University of Liverpool)
- Clare Dixon (University of Liverpool)
- Jacques Fleuriot (University of Edinburgh)
- Ulrich Furbach (University of Koblenz)
- Jürgen Giesl (RWTH Aachen)
- Ullrich Hustadt (University of Liverpool)
- Dieter Hutter (DFKI GmbH)
- Reiner Hähnle (Technical University of Darmstadt)
- Mateja Jamnik (University of Cambridge)
- Manfred Kerber (University of Birmingham) - chair
- Ekaterina Komendantskaya (School of Computing, University of Dundee)
- Sebastian Rudolph (Technische Universität Dresden)
- Renate A. Schmidt (University of Manchester)
- Viorica Sofronie-Stokkermans (MPI)
- Volker Sorge (University of Birmingham)