Tenth Workshop on Automated Reasoning 2003

Location, Travel and Accommodation


The workshop will take place at the Knowsley Room,Greenbank Conference Centre, Derby and Rathbone Halls, University of Liverpool.


Accommodation will be provided in single bedrooms at Derby and Rathbone Hall. Each room has a sink, and bathroom and toilet facilities are shared. We strongly encourage participants to opt for the accomodation provided in Derby and Rathbone Hall.


If you decide not to stay at Derby and Rathbone Hall, the following hotels are within walking distance of the workshop. Please book and pay for this yourself, if required.