ARW 2011: Organisers Alice Miller (Chair) (University of Glasgow) Alexander Bolotov (University of Westminster) Jacques Fleuriot (University of Edinburgh) Simon Colton (Imperial College London) David Crocker (Escher Technologies) Louise Dennis (University of Liverpool) Clare Dixon (University of Liverpool) Roy Dyckhoff (University of St Andrews) Ullrich Hustadt (University of Liverpool) Mateja Jamnik (Univerity of Cambridge) Renate Schmidt (University of Manchester) Volker Sorge (University of Birmingham)