3 November 2009, Eindhoven, The Netherlands
(in conjunction with FM 2009)
Preliminary Programme|
Purpose |
Topics |
Submission Instructions |
Important Dates |
Programme Committee
Download the call for papers as a pdf.
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:
- Interdisciplinary approaches to VOs
- Modelling and analysis of
- VO infrastructure and topologies
- VO goals and policies
- VO workflow
- information flow within VOs
- trust and security in VOs
- Calculi for reasoning about behaviour in dynamic VOs
- Methods and tools for VO design and VO component design
- Applications of formal methods in VO development
- Semantic technologies for VOs
- Formal methods for domain-specific VOs
- Formalizing languages that enable VOs
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
- Submission 10th August
- Notification of acceptance 31st August
- final version for publication 29th Sept
- Date of workshop 3 November 2009