Proceedings of the Automated Reasoning Workshop 2019 Bridging the Gap between Theory and Practice ARW 2019 2 – 3 September 2019 University of Middlesex United Kingdom