We invite interested persons to submit a two-page abstract by email to arw2001@cs.man.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. Accepted 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 voronkov@cs.man.ac.uk.

Invited speakers

• Christoph Benzmüller (Universität 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

Important Dates

Receipt of submission:	26 February 2001
Notification of authors:	1 March 2001
Receipt of camera-ready copy:	12 March 2001
Early bird registration deadline:	5 March 2001

Call for Participation

Text Version