CALL FOR PAPERS THIRTEENTH WORKSHOP ON AUTOMATED REASONING 3rd-4th April 2006 http://www.cs.nott.ac.uk/~mxw/arw06/ A 2-day symposium to be held as part of: AISB'06: Adaptation in Artificial and Biological Systems April 3rd-6th 2006 University of Bristol, Bristol, England 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. This year there will be a keynote speech by Tom Hales of the Department of Mathematics, University of Pittsburgh. Details of the ARW organisation and of previous ARW events can be found at http://www.csc.liv.ac.uk/~clare/ARW/about.html. PLENARY SPEAKERS: * Byron Cook (Microsoft) * Muffy Calder (University of Glasgow) * Tom Hales (University of Pittsburgh) TOPICS: The workshop, which is co-located with AISB 2006, 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 * Applications of automated reasoning SUBMISSIONS: 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: lad@cs.nott.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. Submissions should be no longer than 6,000 words. Formatting instructions will be available from the symposium website shortly. ORGANISERS: Dr. Louise Dennis, University of Nottingham lad@cs.nott.ac.uk Matthew Walton, University of Nottingham mxw@cs.nott.ac.uk both at School of Computer Science and Information Technology The University of Nottingham Jubilee Campus Wollaton Road Nottingham NG8 1BB United Kingdom PROGRAMME COMMITTEE: Clare Dixon, Chair (University of Liverpool) Jacques Fleuriot, Secretary/Treasurer (University of Edinburgh) Brandon Bennett (University of Leeds) Simon Colton (Imperial College London) David Crocker (Escher Technologies) Louise Dennis (University of Nottingham) Ulle Endriss, (Imperial College London) Alan Frisch (University of York) Ian Gent (University of St. Andrews) Ullrich Hustadt (University of Liverpool) Mateja Jamnik (Univerity of Cambridge) Manfred Kerber (University of Birmingham) Tom Melham (University of Oxford) Renate Schmidt (University of Manchester) Andrei Voronkov (University of Manchester) IMPORTANT DATES: Submission of papers by: 1st February 2006 Notification of decision: 15th Februrary 2006 Camera ready copies by: 20th February 2006