[Please distribute; apologies if you receive this more than once.] Call for Participation SEVENTH WORKSHOP ON AUTOMATED REASONING Bridging the Gap between Theory and Practice 20-21 July 2000, King's College London http://www.dcs.kcl.ac.uk/events/ARW/ Early bird registration deadline: 7 July 2000 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; logic programming; functional programming; constraint solving; formal methods for specifying, transforming and verifying systems; non- monotonic reasoning; abduction; logic-based knowledge representation, in particular description logics; temporal reasoning. Invited Speakers - Michael Kohlhase (Universitaet des Saarlandes) Using Deduction Techniques for Natural Language Understanding - Rolf Backofen (LMU Munich) Exclusion of Symmetries in Search - A Spin-off from Bioinformatics Research - Dov Gabbay (King's College London) Goal Directed Mechanisms: Proofs, Interpolation and Abduction Procedures - Maarten de Rijke (University of Amsterdam) Modal Experiments Registration For registrations received before the 7th of July 2000 the registration fee is 50 pounds for academics and 30 pounds for (PhD) students. Please visit the workshop web site at http://www.dcs.kcl.ac.uk/events/ARW/ to obtain a registration form. A limited number of travel grants for students will be available. Students who want to apply for a travel grant should contact the programme chair Hans Juergen Ohlbach at ohlbach@dcs.kcl.ac.uk. Related Events The Automated Reasoning Workshop takes place in the week before the First International Conference on Computational Logic (Imperial College, London, 24-28 July 2000). For the Local Organising Committee, -- Ulrich Endriss Tel: +44 20 7848 2985 Dept. of Computer Science Fax: +44 20 7240 1071 King's College London Email: endriss@dcs.kcl.ac.uk Strand, London WC2R 2LS WWW: http://www.dcs.kcl.ac.uk/staff/endriss/