Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice

 
 
 

ARW

Background

Call for Papers

Venue

Travel and
Accommodation

Registration

 

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

Title:
First name:
Surname:
Organisation:
Address:
Phone:
Fax:
Email:
 
Please indicate if you have any particular requirements (e.g. dietary or mobility, likely to arrive late or leave early, etc)

Please indicate if:
you are a student
you wish to attend the workshop dinner

The registation fee covers participation in the workshop, workshop proceedings, refreshments and lunch on both days.
Payment for the workshop dinner is separate.

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

Please register by the 9th April.
Once you submit the completed form, you will receive an e-mail confirmation of your registration.