Author: Denmark) DIKU-IST Joint Workshop on Foundations of Software (1st 2005 Copenhagen