Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice




Call for Papers

Accepted Abstracts








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


Participants are expencted to arrange their own travel and accomodation. Note that there seems to be shortage of hotel accommodation around the time of the workshop, and some of the options listed below may not have rooms available. If you have problems finding accommodation, then please let us know.


Stay Liverpool have appartments available, starting at £69. They are at the bottom of Mount Pleasant, just a short walk from the University campus.


The recommended hotel is the Liner Hotel, which is a 10 minute walk from the conference venue. A few rooms have been reserved until 9th April 2009 at the rate of £56 per night (breakfast included). To book one of these rooms, please contact Helen Bradley, (, phone 0151 795 4276). Rooms will be allocated on a first come first served basis.

Alternatively, you may want to consider the following hotels (we have not reserved any rooms with them; the price below is correct at the time of writing and may differ when you book):

Distance to venue (on foot) Hotel
5-10 mins Cocoon International Inn
£43.00 per night
10-15 mins Travelodge, Liverpool Central (on Dale Street)
£55.00 per night room only + £4.05 light breakfast
10-15 mins Premier Travel Inn, Liverpool City Centre Centre Vernon Street, Liverpool, L2 2AY
£66.00 per night room only + £7.80 breakfast
20-25 mins Dolby Hotel (by Albert Dock)
£48.00 per night room only + £3.95 Continental Breakfast
20-25 mins Ibis Hotel (by Albert Dock)
£65.00 per night room only + £6.95 breakfast
20-25 mins Campanile Hotel (by Albert Dock)
£57.95 per night room only + £6.25 breakfast
20-25 mins Premier Travel Inn, Albert Dock
£65.00 per night room only + £7.80 breakfast
25-30 mins Travelodge, Liverpool Docks (Albert Dock area)
£55.00 per night room only +£4.05 light breakfast

Student Accommodation

We haven't reserved any student accommodation, but there should be rooms available at Dale Hall, Carnetic Halls of Residence. Single rooms, without en-suite, B&B costs £20.85 plus VAT for visiting students. Room with en-suite bathroom (but no shower) would cost £40.43 plus VAT.

The Carnetic Halls of Residence are quite far from the University precinct and one needs to take a bus to get to and from University precinct. There is a University Bus Service (699) that travels from Carnatic to the University Precinct via Greenbank Halls. Buses leave every 5-20 minutes, depending on the time of day. They take about 25 minutes, depending on the time of day and the traffic. The bus costs £1.30 for a single journey. Further details can be found at the Arriva website (search for service 699).

If you are interested in this accommodation option, then please contact U. Hustadt.


Maintained by Ullrich Hustadt,, last updated Sunday, 05-Apr-2009 10:25:16 BST.