Seventh Workshop on Automated Reasoning

Call for Papers

Submission of Papers

Two-Page Abstracts. We invite interested persons to submit a two-page abstract 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.

Full Papers. In addition to the two-page abstracts, participants are invited to submit full journal type papers. These papers will be treated as submissions to the Logic Journal of the IGPL. They will be refereed and, if accepted, published by the journal as fast as possible.

Panel Sessions

Proposals for panel sessions should be made as soon as possible. Please email the proposal to

Important Dates

Receipt of submission (extended):5 June 2000
Notification of authors: 3 July 2000
Receipt of camera-ready copy: 14 July 2000
Early bird registration deadline: 7 July 2000

Call for Papers

Postscript Version | PDF Version | Text Version

Call for Participation

Text Version