*** With apologies for multiple copies ***

                            ======================
                            Second Call For Papers
                            ======================

                Formal Aspects of Virtual Organisations 
(FAVO 2009)
                   3 November 2009, Eindhoven, The Netherlands
                           (in conjunction with FM'09)

                     http://www.cs.ncl.ac.uk/events/FAVO2009/

            ***  NEWS:  Post-proceedings to be published by 
EPTCS  ***

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'09 on 3 November 2009.

This year, we plan to have a special session on 
interdisciplinary
approaches to modelling and design of Virtual Organisations.

Important dates (note change)
=============================

Paper submission:              10th August
Notification of acceptance:    31st August
Final version for proceedings: 21st September
Date of Workshop:              3rd  November

Call for Papers
===============

Advances in network technology, software and services are 
making it
ever easier for organisations and individuals to form 
loosely-coupled
Virtual Organisations (VOs) around a common goal, often in 
order to
take advantage of a business opportunity or respond to an acute
crisis. VOs arise in commercial, governmental, political and 
military
environments and may have been carefully designed or may 
simply be ad
hoc assemblies integrating diverse systems that only rarely 
have been
designed for collaboration. VO members may have differing 
trust and
security policies. They may evolve dynamically as the 
environment,
membership and resource availability change.

Although VOs are a common business model, a mature formal
understanding of them has yet to develop.  Integration of 
diverse
members and policies, management of evolution and an 
understanding of
emergent behaviour all contribute to a substantial challenge for
designers of VOs and their members. The FAVO workshops aim 
to bring
together researchers and practitioners to share challenges and
potential solutions in this new application area for formal
methods.

Topics include, but are not limited to,

    o Interdisciplinary approaches to VOs
    o Modelling and analysis of:
        o VO infrastructure and topologies
        o VO goals and policies
        o VO workflow
        o information flow within VOs
        o trust and security in VOs
    o Calculi for reasoning about behaviour in dynamic VOs
    o Methods and tools for VO design and VO component design
    o Applications of formal methods in VO development
    o Semantic technologies for VOs
    o Formal methods for domain-specific VOs
    o Formalizing languages that enable VOs

Chairs

Jeremy Bryans & John Fitzgerald, Newcastle University, UK

Programme Committee

Hamideh Afsarmanesh, University of Amsterdam, NL
Alvaro Arenas, STFC Rutherford Appleton Laboratory, UK
Luis Camarinha-Matos, Universidade Nova de Lisboa, Portugal
Wojciech Cellary, Poznan University of Economics, Poland
Simon Foley, University College, Cork, Ireland
Tomasz Janowski, UNU-IIST Center for Electronic Governance, 
Macau SAR, China
Giovanna di Marzo Serugendo, Birkbeck College, London, UK
Philippe Massonet, CETIC, Belgium
Tom McCutcheon, Dstl, UK


Papers (maximum 10 pages, PDF format) should be submitted 
before 10
August. Submissions will be reviewed, and notification of 
acceptance
will be on 31 August. Final versions for publication as a 
Newcastle
University Technical Report will be required on 21 
September. Authors
of successful papers will be invited to contribute to 
post-proceedings
to appear in Electronic Proceedings in Theoretical Computer 
Science.

Submission is via the Easychair site:
http://www.easychair.org/conferences/?conf=favo2009

Full submission instructions are available at
http://www.cs.ncl.ac.uk/events/FAVO2009/