Integration of ETAPS 2013