Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice




Call for Papers

Accepted Abstracts








Automated Reasoning Workshop 2009
(21st-22nd April 2009, Department of Computer Science, University of Liverpool)


Continuing the highly successful series of Workshops on Automated Reasoning, this event will provide an informal forum for the automated reasoning community. The workshop 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.

Details of the ARW organisation and of previous ARW events can be found at the ARW website.

Important Dates

Abstract submission: 31st March 2009
Notification of acceptance/rejection:   3rd April 2009
Final version due: 10th April 2009
Workshop: 21st - 22nd April 2009

Invited Speakers

To be announced.


Abstracts will be published in informal workshop notes and be made available on the internet.

Additional Information

For information regarding the
venue, registration, and travel and accommodation follow the links. If you have any additional questions, please contact the local organisation chair, U. Hustadt (Liverpool, England, UK).

Maintained by Ullrich Hustadt,, last updated Friday, 03-Apr-2009 20:11:18 BST.