  FAVO2009 was the second workshop on Formal Aspects of Virtual Organisations.
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.
