Eighth Workshop on Automated Reasoning

Bridging the Gap between Theory and Practice

Call for Papers

Submission of Papers

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

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

Overview  |  Organisers  |  Call for Papers  |  Programme  |  Registration  |  Workshop Series  |  Participants  |  AISB'01 convention