[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 === wsf...@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