FTP 2007 - International Workshop on First-Order Theorem Proving
Liverpool, UK, September 12-13 2007

Liverpool Waterfront at Night

Travel and Accommodation

Participants are expencted to arrange their own travel and accomodation.


The recommended hotel is the Liner Hotel, which is a 10 minute walk from the conference venue. We have reserved 10 single rooms until 17 August 2007 at the (considerably) discounted rate of £62 per night (breakfast included). Rooms are available on a first come first served basis.

To book, please phone +44 (161) 603 4739 or email govgroups@expotel.com quoting booking code FROCOS along with the company code UNIVISLIV.

Please note that after 17 August any unused rooms will be released back to the hotel and you will not get the special price.

Alternatively, you may 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 Hotel
25-30 mins Travelodge, Liverpool Docks (Albert Dock area)
£39.00 per night room only +£7.50 breakfast
10-15 mins Travelodge, Liverpool Central (on Dale Street)
£26.00 per night room only + £7.50 breakfast
20-25 mins Ibis Hotel (by Albert Dock)
£57.00 per night room only + £6.95 breakfast
20-25 mins Campanile Hotel (by Albert Dock)
£49.95 per night room only + £6.25 breakfast
20-25 mins Dolby Hotel (by Albert Dock)
£43.00 per night room only + £3.95 Continental Breakfast
20-25 mins Premier Travel Inn, Albert Dock
£58.00 per night room only + £7.50 breakfast
10-15 mins Premier Travel Inn, Liverpool City Centre Vernon Street, Liverpool, L2 2AY
£58.00 per night room only + £7.50 breakfast



Liverpool John Lennon Airport is situated eight miles from the city. The main airlines operating from Liverpool John Lennon Airport are Ryanair and easyJet. So, the number of flight connections is a bit limited, but if you are (un)lucky enough to be able to use one of them, you might be able to pick up a cheap ticket.
The best way to get from the airport to Liverpool city centre or the University is by taxi or by express bus, located directly outside the entrance to the airport terminal. (There is no train station at the airport.)
If you take the express bus (Arriva Line 500), then it will drop you off at Liverpool Lime Street Station. From there follow the instructions for Rail travel.

Manchester Airport offers more comprehensive connections to the world including intercontinental flights. Your local travel agency should easily be able to organise a flight to Manchester Airport for you wherever you are. There are rail links from Manchester Airport directly into Liverpool City Centre (journey time to Liverpool Lime Street roughly 75 minutes); see the Wikipedia for some general information about these rail links or refer to the Rail travel information below.

Liverpool Airport
0870 750 8484 (UK only)

Manchester Airport:
0161489 3000 (UK only)


The Campus is just a ten-minute walk away from the nearest mainline station at Lime Street. To reach the University Campus by foot, take the main exit and turn left into Lime Street; then turn left again at the Britannia Adelphi Hotel and continue up Brownlow Hill towards the Metropolitan Catholic Cathedral and Victoria Building with its clock tower. (It's going uphill a bit, so you probably want to avoid this option if you carry luggage.)
Alternatively, take a taxi and ask to be dropped off at the Victoria Building on Brownlow Hill (The Victoria Building is building no. 21/22 on the University Precinct Map). The Ashton Building, where the conference/workshop takes place, is building no. 18 on the University Precinct Map just around the corner on Ashton Street. A satellite image can be found on Google Maps, where you can ask query for directions from an arbitrary start address.

National Rail Enquiries - Journey Planner

Deutsche Bahn - Journey Planner


From the M62: at the end of the motorway continue straight ahead onto Edge Lane (A5080 then A5047) and follow signs for Liverpool City Centre and the University. Parking on the Campus is very limited and requires a University permit. All visitors should therefore use the nearest city council car park, which can be found at the bottom of Mount Pleasant, towards the City Centre.