FoSSaCS 2015 accepted papers