ARW 2014: Programme Committee Serge Autexier (DFKI) Bernhard Beckert (Karlsruhe Institute of Technology) Christoph Benzmuller (Freie Universitat Berlin) Alexander Bolotov (University of Westminster) - chair Simon Colton (Department of Computing, Goldsmiths College, University of London) Louise Dennis (University of Liverpool) Clare Dixon (University of Liverpool) Jacques Fleuriot (University of Edinburgh) Ulrich Furbach (University of Koblenz) Jurgen Giesl (RWTH Aachen) Ullrich Hustadt (University of Liverpool) Dieter Hutter (DFKI GmbH) Reiner Hahnle (Technical University of Darmstadt) Mateja Jamnik (University of Cambridge) Manfred Kerber (University of Birmingham) - chair Ekaterina Komendantskaya (School of Computing, University of Dundee) Sebastian Rudolph (Technische Universitat Dresden) Renate A. Schmidt (University of Manchester) Viorica Sofronie-Stokkermans (MPI) Volker Sorge (University of Birmingham)