[TYPES/announce] WS-FM 2011 - Final Call for Papers (Deadline: 12h June 2011)

[Marco Carbone]

Dear colleagues,

 Please find below the WS-FM'11 Call for Papers.

Yours,
Marco Carbone and Jean-Marc Petit
 Co-chairs of WS-FM'11.



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

                            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/



=== Important Dates ===

June 5, 2011................Full Paper Abstract Submission
June 12, 2011:.............Full Paper Submission
July 22, 2010:..............Notification Acceptance
August 5, 2010:...........Camera-ready due
September 1-2, 2011:...Workshop in Clemont-Ferrand


=== Scope ===

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.


Topics of interest include but are not limited to:

Trust and Dependability in service oriented and cloud computing
Multi-tenancy, Adaptability and Evolvability in cloud systems
Formal approaches to service-oriented analysis and design
Formal approaches to enterprise modeling and business process modeling
Model-driven development, testing, and analysis of web services/clouds
Web services for business process management
Security, performance and quality of web services/clouds
Web service coordination and transactions
Web service ontologies and semantic description
Goal-driven discovery and composition of web services
Complex event processing in service-oriented architectures
Continuous query processing in presence of web services
Semi-structured data management and XML technology
Types and logics for web services/clouds
Innovative application scenarios for web services/clouds
Data services
Data centric process modeling


=== Submission Guidelines ===

Submissions must be original and should not have been published
previously nor be under consideration for publication while being
evaluated for this workshop. All papers must be submitted at the
following submission site, handled by EasyChair,

----------- https://www.easychair.org/conferences/?conf=wsfm11 -----------

using the Springer LNCS style. Papers should not exceed 15 pages in
length. If necessary, the paper may be supplemented with a clearly
marked appendix, which will be reviewed at the discretion of the
program committee. The workshop proceedings will be published as a
volume in Springer's Lecture Notes in Computer Science (LNCS).


=== 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20110602/18f1c232/attachment-0001.html>