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)


Early registration deadline is Thursday, 9th April 2009. Note that since you have to phone with your payment details, you will not be able to complete registrations over the Easter weekend (Friday, 10th April to Monday, 13th April).

Early registration
(by 9th April)
Late registration
(from 14th April)
ARW 2009 full rate £120 £150
ARW 2009 student rate £90 £110

The registration fee covers

  1. Participation in the workshop
  2. Workshop proceedings
  3. Refreshments and lunch on both days

We will arrange a Workshop dinner on the first evening. Payment for that will be separate. Please indicate your interest in the Workshop dinner when completing the registration.

To register, please complete the on-line registration form, then contact Helen Bradley by phone (0151 795 4276) in order to arrange the payment of the registration fee (unfortunately, the University does not allow payment details to be transfered by fax, nor does it offer an on-line payment facility).


Maintained by Ullrich Hustadt,, last updated Friday, 17-Apr-2009 16:46:03 BST.