ETAPS 2015: 11-18 April 2015, London, UK