Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice
 
 
 

ARW

Background

Call for Papers

Accepted Abstracts

Programme

Venue

Facilities

Accommodation

Travel

Registration

  

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

Registration

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 [now disabled], 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, U.Hustadt@liverpool.ac.uk, last updated Friday, 17-Apr-2009 16:46:00 BST.