This volume contains the proceedings of the 3rd International Workshop on Formal Aspects of Virtual Organisations (FAVO 2011). The workshop was held in Sao Paulo, Brazil on October 18th, 2011 as a satellite event to the 12th IFIP Working Conference on Virtual Enterprises (PRO-VE'11). The FAVO workshop aims to provide a forum for researchers interested in the application of formal techniques in the design and analysis of Virtual Organisations.
翻译:本卷载有第三次虚拟组织形式问题国际讲习班的会议记录(2011年FAVO),该讲习班于2011年10月18日在巴西圣保罗举行,作为国际投资促进机构联合会第12次虚拟企业工作会议(PRO-VE'11)的一个卫星活动,该讲习班旨在为有兴趣在虚拟组织的设计和分析中应用正式技术的研究人员提供一个论坛。