ARW 2015

Workshop on Automated Reasoning

Bridging the Gap between Theory and Practice
Birmingham, UK, 9-10 April 2015


Conference venue

The conference venue is
School of Computer Science
University of Birmingham
Birmingham B15 2TT

Getting here

Birmingham is situated in the heart of England and well served by all major forms of transport.

By air:
A short (free) sky rail service connects Birmingham International Airport and Birmingham International Train Station. Trains run from Birmingham International Train Station to the City Centre (New Street Station) every/less half hour in 15 - 30 minutes.

It takes approximate 40 minutes by taxi from the Birmingham International Airport to the City Centre. The approximate cost is £ 15 - £ 20.

By road:
Birmingham lies at the crossroads of the UK's motorway system with direct links to the motorways M5, M6, M42 and M40. You can plan your route through RAC Route Planner or The AA Route planner.

By rail:
Birmingham is served by three main line stations - Birmingham New Street and Birmingham Snow Hill in the city centre and Birmingham International for the airport and NEC. National Rail has train timetables to help plan your journey. Some Virgin trains make the journey from London to Birmingham in around 1.5 hrs, but please note if you are arriving at a London airport you will still need to make your way into London (Euston station).

Useful journey planning websites:

Links to some train companies are:

By Coach:
For information on coach times, fares and more, please visit National Express.

Student Discount Coach Travel:

National Express, Tel +44(0)121 202 5099.

By Bus:
For information on local train times, fares and more,  please Visit Travel West Midlands

By train:
For information on local train times, fares and more, please visit Centro

By taxi:
To hire a black cab, call TOA Taxis on 0121 427 8888.