[DL] [CFP] Automated Reasoning Workshop 2003

[Ulle Endriss]

                 2nd Call for Papers / Participation

                TENTH WORKSHOP ON AUTOMATED REASONING:
             BRIDGING THE GAP BETWEEN THEORY AND PRACTICE

             Liverpool University, UK, 15-16th April 2003

                 http://www.csc.liv.ac.uk/~clare/arw03/
              http://www.dcs.kcl.ac.uk/staff/endriss/ARW/

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 of automated reasoning systems
  - Experiments

Invited Speakers
****************

* Tom Melham (Oxford)
* Frank Wolter (Liverpool)
* further speakers to be announced

Submission of Abstracts
***********************

We invite interested persons to submit a camera-ready two-page
abstract in either Postscript or PDF format by email to Clare Dixon
at clare at csc.liv.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.

Student Grants
**************

We have a limited number of grants available to PhD students who
wish to attend ARW 2003. To indicate your interest please send a
short email to Ulle Endriss at ue at doc.ic.ac.uk anytime before
19 March 2003.

Important Dates
***************

Abstract submission: any day before 3 March 2003
Notification of authors: shortly after submission
Grant application: any day before 19 March 2003
Workshop dates: 15th-16th April 2003

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, a panel session on "Grand Challenges in
Automated Reasoning", and short presentations of the submitted
abstracts followed by poster sessions.

Organising Committee
********************

Brandon Bennett (University of Leeds)
Alan Bundy (University of Edinburgh)
David Crocker (Escher Technologies)
Clare Dixon (University of Liverpool) -- ARW 2003 Programme Chair
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)
Andrew Ireland (Heriot-Watt University)
Manfred Kerber (University of Birmingham)
Renate Schmidt (University of Manchester)
Andrei Voronkov (University of Manchester)
Toby Walsh (University College Cork)

Sponsorship
***********

ARW 2003 is sponsored by CoLogNet, the European Network of
Excellence in Computational Logic, and by the Department of
Computer Science at the University of Liverpool.



-- 
Ulle Endriss
Department of Computing   Tel: +44 20 7594 8204
Imperial College London   Fax: +44 20 7581 8024
180 Queen's Gate          Email: ue at doc.ic.ac.uk
London SW7 2AZ (UK)       http://www.doc.ic.ac.uk/~ue/