Formal Aspects of Virtual Organisations (FAVO 2011)

Sao Paulo, Brazil

(in conjunction with PRO-VE 2011)

Purpose | Topics | Submission Instructions | Important Dates | Programme Committee | Previous Proceedings


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 successful workshops at FM'08 and FM2009, FAVO 2011 will be held at PRO-VE 2011 on 18th October 2011.

Providing assurance of the behaviour of Virtual Organisation is a challenge because of their dynamic and heterogeneous character. As a result, formal techniques have much to offer in providing a semantic basis for describing VE structures, behaviour and policies, and much work is already being undertaken in this area.

The FAVO workshop at PRO-VE 2011 will provide an opportunity to present and discuss the latest work in the models, methods, tools, techniques and patterns used in the engineering of Virtual Organisations. A specific goal of this workshop is to initiate a Brazil/UK community of people with a shared interest in Formal Methods for Virtual Organisations.


Topics include, but are not limited to:


The proceedings will be published as a special issue in the Electronic Proceedings in Theoretical Computer Science.

Submission Instructions

Submission will be via easychair. Submissions are required to be follow the EPTCS style and may be up to 15 pages in length. All papers will be reviewed by three members of the programme committee.

Important Dates

FAVO programme

  • 08.30 Introduction
  • 08.40 Stephan Reiff-Marganiec A structured approach to VO reconfigurations through Policies
  • 09.20 Sebastian Bab and Nadim Sarrouh Formal Modeling of Privacy-Sensitive Dynamic Coalitions
  • 10.00 Coffee
  • 10.30 Frank Hilbert and Larissa Araujo Multi-model-based Access Control in Construction Projects
  • 11.10 Danilo Tadashi Doi and Leandro Loss Combining Business Process Management and Knowledge Management for Collaboration Effectiveness
  • 11.50 End
  • Chairs

    Programme Committee

    Proceedings of previous workshops

    FAVO 2008 proceedings

    FAVO 2009 proceedings

    contacts Jeremy Bryans and John Fitzgerald