Formal Aspects of Virtual Organisations (FAVO 2009)

3 November 2009, Eindhoven, The Netherlands

(in conjunction with FM 2009)

FM 2009 logo FME logo

Preliminary Programme| Purpose | Topics | Submission Instructions | Important Dates | Programme Committee

Download the call for papers as a pdf.

Preliminary Programme

09.00 - 09.15 Jeremy Bryans. Introduction

09.15 - 10.00 Laura Bocchi, José Luiz Fiadeiro, Noor Rajper and Stephan Reiff-Marganiec. Structure and Behaviour of Virtual Organisation Breeding Environments

10.00 - 11.00 Coffee Break

11.00 - 1145 Ali Nasrat Haidar. Formal Modelling of a Usable Identity Management Solution for Virtual Organisations

11.45 - 12.30 Alvaro Arenas, Jean-Pierre Banatre and Thierry Priol. Developing Autonomic and Secure Virtual Organisations with Chemical Programming

12.30 - 14.00 Lunch

14.00 - 14.45 Jarred McGinnis, Kostas Stathis and Francesca Toni,. Virtual Organisations as Agent Societies

14.45 - 15.30 Peter Johnson, Rachid Hourizi, Neil Carrigan and Nick Forbes. A Framework to Manage the Complex Organization of Collaborating: Its Application to Autonomous Systems

15.30 - 16.00 Coffee Break

16.00 - 16.45 Igor Mozolevsky and John Fitzgerald. Common Representation of Information Flows for Dynamic Coalitions

16.45 - 17.00 Closing


The purpose of the FAVO workshops is to encourage an active community of researchers and practitioners using formal methods in the research and development of Virtual Organisations. Following a successful initial workshop at FM'08, FAVO 2009 will be held at FM 2009 on 3 November 2009.

Student Bursaries

A number of small bursaries for students will be available. Please contact the workshop chairs Jeremy Bryans and John Fitzgerald

for more details.


Virtual Organisations are rarely purely technological, and there is much to be learned from an interdisciplinary perspective. This year, we plan to have a special session on interdisciplinary approaches to the understanding of Virtual Organisations. Topics include, but are not limited to:

Submission Instructions

Proceedings will be available as a Newcastle Technical Report at the workshop. Following the workshop, selected papers will be prepared for post-proceedings in Electronic Proceedings in Theoretical Computer Science. Papers should be a maximum of 10 pages (EPTCS format) and submitted via the Easychair website.

Important Dates


Programme Committee

contacts Jeremy Bryans and John Fitzgerald