Tenth Workshop on Automated Reasoning 2003

Location, Travel and Accommodation

Location

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

Maps of the conference site.
Directions if you are driving
There is (limited) free parking at the Halls. Parking is also possible on nearby roads.
A street map of the area
If you arrive by train take a taxi to Derby and Rathbone Halls. Alternatively take bus numbers 73,75,80 or 86 from the City Centre and get off by the little Boots chemist on Smithdown Rd and walk along Greenbank Road.

Accommodation

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.

Hotels

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.

The Alicia Hotel, 3 Aigburth Drive, Liverpool L17 3AA; phone +44(0)151-7274411, fax +44(0)151-7276752; single room - around 55 pounds per night, double and family rooms - within the range 70 - 90 pounds per night.
Park Lane Hotel, 23 Aigburth Drive, Sefton Park, Liverpool L17 4JQ; phone +44(0)151-7274754, fax +44(0)151-7268091; single room - around 55 pounds per night, double and family rooms - within the range 70 - 90 pounds per night.
The Solna Hotel, 4 Croxteth Drive, Liverpool L17 3AD; phone +44(0)151-7343398, fax +44(0)151-7344840; single room - around 60 pounds per night, double room - around 80 pounds per night.
Blenheim Lodge, 37 Aigburth Drive, Sefton Park, Liverpool L17 4JE; phone +44(0)151-7277380, fax +44(0)151-7275833; single room -around 30 pounds per night, double and family rooms - within the range 35 - 75 pounds per night.