11. FoSSaCS 2008: Budapest, Hungary(Part of ETAPS 2008)