[ecoop-info] Call for Papers: Formal Aspects of Virtual Organisations (FAVO 2011)

[Jeremy Bryans]

       Formal Aspects of Virtual Organisations (FAVO 2011)
              Sao Paulo, Brazil 18th October 2011
        (co-located with PRO-VE 2011, 17-19 October 2011)

The FAVO workshops exist 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 2008 and FM 2009, FAVO 2011 will be co-located with PRO-VE 2011
in Sao Paulo on 18th October 2011.

Providing assurance of the behaviour of virtual organisations is a
challenge because of their dynamic and heterogeneous character. Formal
techniques have much to offer in providing a semantic basis for
describing the structures, behaviour and policies of virtual
enterprises as well as providing extra analytic power to demonstrate
important properties of these Networks.

The FAVO workshop at PRO-VE 2011 will provide an opportunity to
present and discuss the latest work in the models, methods, tools,
analysis techniques and patterns used in the engineering of Virtual
Organisations.  Topics may include, but are not limited to:

     * Interdisciplinary approaches to formal modelling
     * Formal modelling and analysis of
           o infrastructure and topologies
           o goals and policies
           o workflow
           o information flow
           o trust and security
     * Calculi for reasoning about behaviour in VOs and collaborative
     * Organisations
     * 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

Papers should be submitted via EasyChair:

http://www.easychair.org/conferences/?conf=favo2011

Copies of the pre-proceedings will be available at the workshop. As
for the previous FAVO workshop, the post-proceedings of the workshop
will be published in EPTCS (http://eptcs.org/).  EPTCS submissions are
required to be follow the EPTCS LaTeX style (http://style.eptcs.org/).  It
is therefore recommended that papers contributed to FAVO 2011 use this
style.  Submitted papers may be up to 15 pages in length.  All papers
will be reviewed by three members of the programme committee.

Important Dates

     * Submission 10th August
     * Notification of acceptance 16th September
     * final version for publication 30th September
     * Date of workshop 18 October 2011

Programme Committee

     * Hamideh Afsarmanesh, University of Amsterdam, The Netherlands
     * Alvaro Arenas, IE Business School, Madrid, Spain
     * Jeremy Bryans, Newcastle University, UK  (co-chair)
     * Luis Camarinha-Matos, Universidada Nova de Lisboa, Portugal
     * Wojciech Cellary, Poznan University of Economics, Poland
     * Giovanna di Marzo Serugendo, University of Geneva, Switzerland
     * John Fitzgerald, Newcastle University, UK  (co-chair)
     * Tomasz Janowski, United Nations University, Macao
     * Philippe Massonet,CETIC, Belgium
     * Tom McCutcheon, Dstl, UK

contacts Jeremy Bryans and John Fitzgerald
http://homepages.cs.ncl.ac.uk/jeremy.bryans/FAVO2011/index.html