[TYPES/announce] WS-FM'11 Call for Participation (last chance for early registration)

[Marco Carbone]

**********************************
Apologies for multiple copies
**********************************


----------------------

                            WS-FM 2011
8th International Workshop on Web Services and Formal Methods
          September 1-2, 2011, Clemont-Ferrand, France
                    http://itu.dk/wsfm2011/


               Co-located with BPM 2011
                http://bpm2011.isima.fr/



=== Deadlines for Registration ===

Jul 30, 2011: EARLY Registration
Aug 20, 2011: Normal Registration

**
You can register on the **BPM 2011** web page:

http://bpm2011.isima.fr/registration.html
**



=== Invited Speakers ===
 - Kohei Honda

=== Scope of the Workshop ===

Service Oriented Computing (SOC) provides standard mechanisms and
protocols for describing, locating and invoking services over the
Internet. Although there are existing SOC infrastructures that support
specification of service interfaces, access policies, behaviors and
compositions, there are still many active research areas in SOC such
as the support and management of interactions with stateful and
long-running services, large farms of services and quality of service
delivery. Moreover, emerging paradigm of cloud computing provides a
new platform for service delivery, enabling the development of
services that are configurable based on client requirements, service
level guarantee mechanisms, and extended services based on
virtualization (Software as a Service, Platform as a Service,
Infrastructure as a Service). The convergence of SOC and cloud
computing is accelerating the adoption of both of these technologies,
making the service dependability and trustworthiness a crucial and
urgent problem.

Formal methods can play a fundamental role in this research area. They
can help us define unambiguous semantics for the languages and
protocols that underpin existing web service infrastructures, and
provide a basis for checking the conformance and compliance of bundled
services. They can also empower dynamic discovery and binding with
compatibility checks against behavioral properties and quality of
service requirements. Formal analysis of security properties and
performance is also essential in cloud computing and in application
areas including e-science, e-commerce, workflow, business process
management, etc. Moreover, the challenges raised by this new area can
offer opportunities for extending the state of the art in formal
techniques.
The aim of the WS-FM workshop series is to bring together researchers
working on SOC, cloud computing and formal methods in order to
catalyze fruitful collaboration. The scope of the workshop is not only
limited to technological aspects. In fact, the WS-FM series has a
strong tradition of attracting submissions on formal approaches to
enterprise systems modeling in general, and business process modeling
in particular. Potentially, this could have a significant impact on
the on-going standardization efforts for SOC and cloud computing
technologies.


=== Program Committee ===

Marco Carbone, IT University of Copenhagen, Denmark (co-chair)
Jean-Marc Petit, University of Lyon/CNRS, France        (co-chair)

Karthikeyan Bhargavan   INRIA, France
Maria Grazia Buscemi     IMT Lucca, Italy
Marco Carbone               IT University, Copenhagen, Denmark
Florian Daniel                 Universita' di Trento, Italy
Pierre-Malo Danielou       Imperial College London, UK
Giuseppe De Giacomo    SAPIENZA Universita' di Roma, Italy
Rocco De Nicola             Universita' di Firenze, Italy
Marlon Dumas                University of Tartu, Estonia
José Luiz Fiadeiro           University of Leicester, UK
Xiang Fu                        Hofstra University, USA
Serge Haddad                 ENS Cachan, France
Sylvain Hallé                  Université du Québec à Chicoutimi, Canada
Thomas Hildebrandt        IT University of Copenhagen, Denmark
Manuel Mazzara             Newcastle University, UK
Luca Padovani               Universita' di Torino, Italy
Jean-Marc Petit              University of Lyon/CNRS, France
Steve Ross-Talbot          Pi4Tech, UK
Hagen Voelzer                IBM Research - Zurich, Switzerland
Nobuko Yoshida             Imperial College London, UK
Fatiha Zaidi                   Université Paris-Sud XI, France
Gianluigi Zavattaro         Universita' di Bologna, IT


=== Contact ===

wsfm11 at easychair.org


=== Previous editions ===

WS-FM 2010 in Hoboken, co-chaired by Mario Bravetti and Tevfik Bultan
WS-FM 2009 in Bologna, co-chaired by Cosimo Laneve and Jianwen Su
WS-FM 2008 in Milan, co-chaired by Roberto Bruni and Karsten Wolf
WS-FM 2007 in Brisbane, co-chaired by Marlon Dumas and Reiko Heckel
WS-FM 2006 in Wien, co-chaired by Mario Bravetti and Gianluigi Zavattaro
WS-FM 2005 in Versailles, co-chaired by Mario Bravetti and Gianluigi Zavattaro
WS-FM 2004 in Pisa, co-chaired by Mario Bravetti and Gianluigi Zavattaro