Automated Reasoning Workshop: Registration

Registration Fees

On or before 19th March 2003

Day delegateWith 1 night accommodation With 2 nights accommodation
Student £70 £90 £110
Full £100 £120 £140

After 19th March 2003 add £30 to each registration. Please note we cannot guarantee accommodation for registration after this date.

We hope to start the programme at around 11am on 15th April to allow those fairly close to travel on the day and finish at around 5pm on the 16th April.


Accommodation will be provided in single bedrooms at Derby and Rathborne Hall. Each room has a sink, and bathroom and toilet facilities are shared. We strongly encourage participants to opt for the accommodation provided in Derby and Rathbourne Hall. For more information on travel, accommodation and location see the location page.

Registration Forms

Please print off the following registration form, complete and return with your payment (either by cheque or credit card details) to
Thelma Williams
Department of Computer Science
University of Liverpool
Liverpool L69 7ZF
fax: (+44) 151 794 3715
on or before 19th March 2003. We can accept Mastercard, Visa and Switch cards at no additional charge. There is a 2.9% levy on American Express transactions, so anyone wishing to pay by AmEx should add 2.9% to the total cost. Cheques should be made payable to The University of Liverpool. Any problems or queries please email Clare Dixon. (