ETAPS 2012: 24 March - 1 April 2012, Tallinn, Estonia