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@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@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@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)