ARW 2015

Workshop on Automated Reasoning

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


Unfortunately over Easter there are no on-campus accommodations available. But there are plenty of hotels and guest houses around campus and in the general area.

Hotel and B&B Accommodation

Here are lists of hotels and guest houses: The conference venue is next to the University railway station, opposite the Computer Science building. Trains from the city centre run very frequently especially during rush hour.