[Please distribute; apologies if you receive this more than once.] Call for Participation EIGHTH WORKSHOP ON AUTOMATED REASONING Bridging the Gap between Theory and Practice 22-23 March 2001, University of York http://www.cs.man.ac.uk/~voronkov/ARW/index.html Early bird registration deadline: 5 March 2001 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, in particular description logics; - Implementation; - Experiments. Invited Speakers - Christoph Benzmueller (Universitaet des Saarlandes, joint plenary talk with AISB) An agent-based approach to reasoning - Yuri Gurevich (Microsoft Research) Testable specifications using abstract state machines - Robert Nieuwenhuis (Technical University of Catalonia) Term indexing techniques for automated reasoning - Michael Zakharyaschev (King's College London) A tableau calculus for Temporal Description Logic Registration For registrations received before March 5 2001 the registration fee is 50 pounds for academics and 30 pounds for (PhD) students. Please visit the workshop web site at http://www.cs.man.ac.uk/~voronkov/ARW2001/index.html to obtain a registration form. Related Events The Automated Reasoning Workshop 2001 will be held as part of the AISB convention, see http://www.dai.ed.ac.uk/homes/simonco/conferences/AISB01/