Workshop on Formal Aspects of Virtual Organisations São Paulo, Brazil, 17-19 October 2011 (in conjunction with PRO-VE’11).