[DL] Automated Reasoning Workshop 2004, 3rd call for papers/participation

Brandon Bennett brandon at comp.leeds.ac.uk
Thu Feb 12 19:40:20 CET 2004


This is the 3rd call for papers for
the 2004 Automated Reasoning Workshop.
Apologies if you receive multiple copies.

Invited speakers have now been finalised -- see below.
Note that the abstract submission deadline is ** 23rd February **.



                     3rd 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

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

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 (e.g. spatial, temporal, epistemic ...)
  * Reasoning for agents (or about agents)
  * Interactive theorem proving
  * Implementation issues and empirical results


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

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
      Perspective"

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.

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 2004.   To indicate your  interest please send  a short
email  to Ulle  Endriss  (ue at doc.ic.ac.uk) anytime  before 1st  March
2004.

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



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

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 (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 mailing list