The National e-Science Centre The School of Informatics
ARW 2005

Edinburgh, Scotland

The 12th Workshop on Automated Reasoning
Bridging the gap between theory and practice

29th and 30th July 2005

[Home Page] [Previous Workshops] [Call for Papers] [Guide for Authors] [Programme]
[Related Event] [How to Get There] [Weather and Tourism] [Registration] [Accommodation
[Sponsors] [Student Bursaries]

The School of Informatics at the University of Edinburgh and the National e-Science Centre will host the 12th Workshop on Automated Reasoning (ARW 2005) in Edinburgh, Scotland, on the 29th and 30th July 2005. The workshop will be co-located with IJCAI 2005.


Continuing the highly successful series of Workshops on Automated Reasoning, this event will provide an informal forum for the automated reasoning community. The ARW workshop series aims to bring together researchers from all areas of automated reasoning in order to foster links and facilitate cross-fertilisation of ideas among researchers from various disciplines; among researchers from academia, industry and government; and between theoreticians and practitioners.


The workshop will cover the full breadth and diversity of automated reasoning and will include topics such as:

Submission of Abstracts

We invite interested persons to submit a camera-ready two-page abstract about recent work or work in progress, or a system description. Anyone wishing to attend but not interested in presenting should send a shorter position statement (1/2 - 1 page).

Submissions should be sent in either Postscript or PDF, A4 format by email to:

Each submission should include the names and complete addresses (including email) of all authors. Correspondence will be sent to the first author, unless otherwise indicated. The main objective of the abstracts is to spread information about recent work in our community. Abstracts will be published in informal workshop notes and be made available on the web.

Format of Workshop

The workshop is intended to be an inclusive event, with participants encouraged from the broad spectrum covered by the field of automated reasoning. We encourage the participation of experienced researchers as well as those new to the field, especially students.

Note that we expect to devote one day in the workshop to applications of automated reasoning in e-Science and especially invite contributions on this topic.

There will be invited talks, panel sessions, short presentations of the papers, and poster sessions.

Invited Speakers

Alan Frisch Title: Symmetry and the Generation of Constraint Models.
Mike Gordon Title: Using a Theorem Prover to Implement a Compiler.
Marta Kwiatkowska Title: Probabilistic Model Checking for the Grid and on the Grid.
Luc Moreau Title: Towards Provenance based Reasoning in E-Science.


Deadline for submission of abstracts: 1st May 2005
Notification to authors: 31st May 2005
Deadline for student bursaries applications: 1st May 2005
Conference: 29th and 30th July 2005


The 12th Workshop on Automated Reasoning will be held at the following venue:

National e-Science Centre
e-Science Institute
15 South College Street
Edinburgh EH8 9AA
United Kingdom
Tel: +44 131 650 9833
Fax: +44 131 650 9819

Local Arrangements Organisers

Dave Berry National e-Science Centre
Alan Bundy University of Edinburgh
Jacques Fleuriot University of Edinburgh

Organizing Committee

Brandon Bennett University of Leeds
Alan Bundy University of Edinburgh (2005 Programme Co-Chair)
Simon Colton Imperial College London
David Crocker Escher Technologies
Clare Dixon University of Liverpool (Organising Committee Chair)
Ulle Endriss Imperial College London (Secretary/Treasurer)
Jacques Fleuriot University of Edinburgh (2005 Programme Co-Chair)
Alan Frisch University of York
Ian Gent University of St. Andrews
Ullrich Hustadt University of Liverpool
Manfred Kerber University of Birmingham
Tom Melham University of Oxford
Renate Schmidt University of Manchester
Andrei Voronkov University of Manchester
Toby Walsh University of New South Wales, Sydney


Enquiries concerning the workshop should be emailed to

The Automated Reasoning Workshop 2005 is co-located with IJCAI-05