ARW2009 Organising Committee Clare Dixon (University of Liverpool) Jacques Fleuriot (University of Edinburgh) Alexander Bolotov (University of Westminster) Simon Colton (Imperial College London) David Crocker (Escher Technologies) Louise Dennis (University of Liverpool) Roy Dyckhoff (University of St Andrews) Ullrich Hustadt (University of Liverpool) Mateja Jamnik (Univerity of Cambridge) Tom Melham (University of Oxford) Alice Miller (University of Glasgow) Renate A. Schmidt (University of Manchester) Volker Sorge (University of Birmingham)