(co-located with AISB'04)

University of Leeds, Leeds, UK
31st March -- 1st April 2004

[*Details of registration and accommodation now added below*]

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.

Details of the ARW organisation and of previous ARW events can be found at http://www.dcs.kcl.ac.uk/staff/endriss/ARW/.


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

Invited Speakers

We are pleased to announce three distinguished researchers who will be giving invited talks at this year's event:

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 in either Postscript or PDF format by email to Brandon Bennett: brandon@comp.leeds.ac.uk

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 by WWW.

Panel Sessions

Proposals for panel sessions should be made as soon as possible. Please email the proposal to Brandon Bennett (brandon@comp.leeds.ac.uk).

Student Grants

We have a limited number of grants available to PhD students who wish to attend ARW 2004. To indicate your interest please send a short email to Ulle Endriss (ue@doc.ic.ac.uk) anytime before 1st March 2004.

Important Dates

Abstract submission up to 23rd February 2004
Notification of authors shortly after submission
Student grant applications up to 1st march 2004
Early registration up to 14th march 2004
Workshop dates 31st March and 1st April 2004


Please register via the AISB convention web site at www.leeds.ac.uk/aisb/. From there you can download a form to fill out and fax. Details of various payment options are given.

Please note that students who are being supported by ARW should not register in this way. You will be registered automatically.

If you can only attend one day of ARW please register for a one day workshop. (I know this works out a bit expensive, but there are quite a few fixed costs that need to be covered.) If you do this please write a note on the registration form and also let me know, so I can reclaim an appropriate proportion of your registration fee.


You will need to arrange your own accommodation either in student accommodation or in one of the many small hotels near to Leeds University. Accommodation details can be found on the AISB web site. Alternatively, you may like to try one of the hotels in a list compiled by me here.
(Note: if you are a student who is being supported by ARW and want to book accommodation via the AISB, please write "supported by ARW" somewhere on your booking form, so they know who your are.)

Format of the 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.

There will be invited talks, panel sessions, short presentations of the papers, and poster sessions. The workshop will last 2 days and will be co-located with the AISB'04 convention which runs 29th March to 1st April 2004.

Details of AISB'04 can be found at: http://www.leeds.ac.uk/aisb/.


Details of registration fees will be published when they become available. Our aim is to keep costs as low as possible. As mentioned above, students may apply for grants to support their attendance.

Workshop Programme

A provisional schedule is available here. You can brows the submitted abstracts here.

Workshop Dinner is 7:30pm Wednesday 31st March at the Darbar restaurant, 16-17 Kirgate, Leeds (city centre).

Organising Committee