ELEVENTH WORKSHOP ON AUTOMATED REASONING:
BRIDGING THE GAP BETWEEN THEORY AND PRACTICE
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
The workshop will cover the full breadth and diversity of automated
reasoning and will include topics such as:
- Theorem proving in classical and non-classical logics
- Reasoning systems and mechanisms:
- Description logics
- Equational reasoning, unification
- Constraint Satisfaction
- Specialised decision procedures
- Formal methods in software analysis:
- specification, verification
- Non-classical inference:
- Nonmonotonic reasoning, abduction
- intuitionistic reasoning
- Logic-based knowledge representation:
- Ontology specification,
- Domain specific reasoning
(e.g. spatial, temporal, epistemic ...)
- Reasoning for agents (or about agents)
- Interactive theorem proving
- Implementation issues and empirical results
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:
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.
Proposals for panel sessions should be made as soon as possible.
Please email the proposal to Brandon Bennett
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
anytime before 1st
||up to 23rd February 2004
|Notification of authors
||shortly after submission
|Student grant applications
||up to 1st march 2004
||up to 14th march 2004
||31st March and 1st April 2004
Please register via the AISB convention web site at
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
(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:
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.
A provisional schedule is available
You can brows the submitted abstracts
Workshop Dinner is 7:30pm Wednesday 31st March at the
restaurant, 16-17 Kirgate, Leeds (city centre).
- Brandon Bennett (University of Leeds) -- 2004 Programme chair
- Alan Bundy (University of Edinburgh)
- Simon Colton (Imperial College London)
- David Crocker (Escher Technologies Limited)
- Clare Dixon (University of Liverpool)
- Ulle Endriss (Imperial College London) -- Secretary/Treasurer
- Michael Fisher (University of Liverpool)
- Alan Frisch (University of York) -- Organising Committee Chair
- Ian P. Gent (University of St. Andrews)
- Ullrich Hustadt (University of Liverpool)
- Manfred Kerber (University of Birmingham)
- Tom Melham (Oxford University Computing Laboratory)
- Renate Schmidt (University of Manchester)
- Andrei Voronkov (University of Manchester)
- Toby Walsh (University College Cork)