Proceedings Second Workshop on Formal Aspects of Virtual Organisations
Jeremy Bryans, John Fitzgerald
TL;DR
This paper introduces the FAVO2009 workshop, fostering a community focused on applying formal methods to Virtual Organisations for research and development.
Contribution
It presents the second workshop dedicated to formal aspects of Virtual Organisations, promoting collaboration among researchers and practitioners.
Findings
Established a community platform for formal methods in Virtual Organisations
Facilitated discussions on formal approaches to Virtual Organisations
Encouraged research development in formal methods for Virtual Organisations
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.