ARW 2012: Organisers Alexander Bolotov (University of Westminster) Simon Colton (Imperial College London) David Crocker (Escher Technologies) Louise Dennis (University of Liverpool) Clare Dixon (University of Liverpool) Jacques Fleuriot (University of Edinburgh) Ullrich Hustadt (University of Liverpool) Mateja Jamnik (Univerity of Cambridge) Ekaterina Komendantskaya (University of Dundee) Alice Miller (University of Glasgow) Renate Schmidt (University of Manchester) Volker Sorge (University of Birmingham) Local Organisers Renate Schmidt (University of Manchester) Mohammad Khodadadi (University of Manchester) Fabio Papacchini (University of Manchester) Dmitry Tishkovsky (University of Manchester)