[DL] ARW 2004 Final Call
brandon at comp.leeds.ac.uk
Fri Feb 20 12:05:49 CET 2004
A final reminder that the deadline for abstract submission
for ARW 2004 is next Monday (23rd Feb).
Apologies if you receive multiple copies.
4th and Final Call for Papers/Participation
ELEVENTH WORKSHOP ON AUTOMATED REASONING:
BRIDGING THE GAP BETWEEN THEORY AND PRACTICE
(co-located with AISB'04)
University of Leeds, Leeds, UK
31st March - 1st April 2004
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:
* 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:
Franz Baader (Dresden)
From Tableaux to Automata for Description Logics
Jacques Fleuriot (Edinburgh)
"Interactive Theorem Proving in Geometry: Issues and Applications"
Dave Randell (London, Imperial)
"Reasoning about Perception, Space and Motion: a Cognitive Robotics
Abstracts of the invited talks can be found on the web site.
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 at 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.
Proposals for panel sessions should be made as soon as possible.
Please email the proposal to Brandon Bennett (brandon at comp.leeds.ac.uk).
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 at doc.ic.ac.uk) anytime before 1st March
Abstract submission: up to 23rd February 2004
Notification of authors: shortly after submission
Grant application: up to 1st March 2004
Early registration: up to 14th March 2004
Workshop dates: 31st March and 1st April 2004
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/.
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)
Dr Brandon Bennett
Division of Artificial Intelligence Tel.: +44 (0)113 343 1070
School of Computing (room 9.16) (home) +44 (0)113 274 6920
University of Leeds Fax.: +44 (0)113 343 5468
Leeds LS2 9JT E-mail: brandon at comp.leeds.ac.uk
United Kingdom WWW: http://www.comp.leeds.ac.uk/brandon/
More information about the dl