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/ DEADLINE EXTENDED until Thursday, 6 March 2003 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@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@doc.ic.ac.uk anytime before 19 March 2003. Important Dates *************** Abstract submission: 6 March 2003 (EXTENDED) 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.