[DL] Automated Reasoning Workshop 2004 CFP

[Brandon Bennett]

                     1st 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**

            ** Provisional upon final scheduling of AISB events
                    (certainly between 30th Mar & 1st Apr)

               http://www.comp.leeds.ac.uk/brandon/ARW04.html

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/.

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
  * Reasoning systems and mechanisms:
      - Description logics
      - Equational reasoning, unification
      - Induction
      - 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 (spatial, temporal, epistemic etc)
  * Reasoning for agents (or about agents)
  * Interactive theorem proving
  * Implementation issues and empirical results

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

To be announced shortly.

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.

Panel Sessions
**************

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

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

We have a limited number of  grants available to PhD students who wish
to  attend ARW 2002.  To indicate  your interest  please send  a short
email  to  Ulle Endriss  (endriss at dcs.kcl.ac.uk)  anytime before  15th
March 2002.

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

   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 **

   ** This is provisional on final scheduling and room allocation for
      AISB symposia. Final date will be announced very soon.
      In any event ARW will take place in the range 29th March to 1st
      April.


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 2002.

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

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

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 (King's 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)