[DL] Call for Papers: Automated Reasoning Workshop 2005

[Ulle Endriss]

                     1st Call for Papers / Participation

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

                          (co-located with IJCAI 2005)

                        National e-Science Centre and
                University of Edinburgh, Edinburgh, UK
                             29th and 30th July 2005

                http://www.inf.ed.ac.uk/events/conferences/arw-05

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.

One day of ARW 2005 will focus on applications of automated reasoning
to e-Science.

Topics
******

The workshop, which is co-located with IJCAI 2005, will cover the full
breadth and diversity of automated reasoning and will include topics
such as:

   * Applications of automated reasoning to e-Science
       - Assembly of web services
       - Virtual organisations
       - Quality of service
       - Provenance
   * 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 the workshop organisers at: arw2005 @ inf.ed.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 arw2005 @ inf.ed.ac.uk.

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

We have a limited number of grants available to PhD students who wish
to attend ARW 2005.  To indicate your interest please send a short
email to Ulle Endriss (ue @ doc.ic.ac.uk) anytime before the 1st of
May 2005.


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

    Abstract submission:       1st May 2005
    Grant application:         1st May 2005
    Notification of authors:   31st May 2005
    Workshop dates:            29th and 30th July 2005


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.

Note that we expect to devote one day in the workshop to applications
of automated reasoning in e-Science and especially invite
contributions on this topic.

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 IJCAI 2005.

Details of IJCAI 2005 can be found at: http://www.ijcai-05.org

Local Arragenments Organisers
*****************************
Dave Berry         National e-Science Centre
Alan Bundy         University of Edinburgh
Jacques Fleuriot   University of Edinburgh


Organising Committee
********************
Brandon Bennett    University of Leeds
Alan Bundy         University of Edinburgh  (2005 Programme Co-Chair)
Simon Colton       Imperial College London
David Crocker      Escher Technologies
Clare Dixon        University of Liverpool  (Organising Committee Chair)
Ulle Endriss       Imperial College London  (Secretary/Treasurer)
Jacques Fleuriot   University of Edinburgh  (2005 Programme Co-Chair)
Alan Frisch        University of York
Ian Gent           University of St. Andrews
Ullrich Hustadt    University of Liverpool
Manfred Kerber     University of Birmingham
Tom Melham         University of Oxford
Renate Schmidt     University of Manchester
Andrei Voronkov    University of Manchester
Toby Walsh         University of New South Wales, Sydney