Apologies if you receive this more than once.
Call for Papers / Participation
NINTH WORKSHOP ON AUTOMATED REASONING :
BRIDGING THE GAP BETWEEN THEORY AND PRACTICE
Imperial College, UK, 2-5 April 2002
(co-located with AISB'02)
http://www.dcs.kcl.ac.uk/staff/endriss/ARW/2002.html
Following in the highly successful series of Workshops on Automated
Reasoning, this workshop will provide an informal forum for the
automated reasoning community. This 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.
Topics
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
- Equational reasoning
- Unification
- Induction
- Verification
- Specification
- Constraint solving
- Decision procedures
- Formal methods
- Interactive theorem proving
- Nonmonotonic reasoning
- Abduction
- Logic-based knowledge representation
- Description logics
- Implementation
- Experiments
Participation 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.
Format of the Workshop
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'02 convention which runs 2-5 April
2002. More precise programme details will be announced shortly.
For details about AISB'02 see: http://comma.doc.ic.ac.uk/aisb2002/
Submission of Papers
We invite interested persons to submit a camera-ready two-page
abstract in the postscript or PDF format by email to
tw@cs.york.ac.uk about recent work or work in progress, or a
system description. 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 tw@cs.york.ac.uk.
Organizing committee
Robin D. Arthan (Lemma 1)
Alan Bundy (University of Edinburgh)
Tony Cohn (University of Leeds)
David Crocker (Intelligent Micro Software Ltd.)
Clare Dixon (University of Liverpool)
Michael Fisher (University of Liverpool)
Alan Frisch (University of York) -- Chair of Organizing Committee
Ian P. Gent (University of St. Andrews)
Andrew Ireland (Heriot-Watt University)
Manfred Kerber (University of Birmingham)
Hans Juergen Ohlbach (Ludwig-Maximilians-Universitaet Munich)
Andrei Voronkov (University of Manchester)
Toby Walsh (University of York)
Important Dates
Receipt of submission: any day before 1 March 2002
Notification of authors: 2 days after submission
This archive was generated by hypermail 2b29 : Wed Dec 19 2001 - 08:38:01 PST