Author: DIKU-IST Joint Workshop on Foundations of Software (2nd 2006 Copenhagen, Denmark)