2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint