From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 01072BBAF for ; Thu, 6 May 2010 10:27:13 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiECAH8Z4kuCiAFml2dsb2JhbACdaBUBAQIBCBUHM7xXgmAHgiwEj0A7 X-IronPort-AV: E=Sophos;i="4.52,339,1270418400"; d="scan'208";a="50086775" Received: from leb.cs.unibo.it ([130.136.1.102]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 06 May 2010 10:27:13 +0200 Received: from ssl.cs.unibo.it (ssl.cs.unibo.it [127.0.0.1]) (Authenticated sender: hidden) by leb.cs.unibo.it (Postfix) with ESMTPSA id D8FDD235E ; Thu, 6 May 2010 10:27:01 +0200 (CEST) Message-ID: <4BE27D63.4050004@cs.unibo.it> Date: Thu, 06 May 2010 10:27:15 +0200 From: Mario Bravetti User-Agent: Thunderbird 2.0.0.24 (Windows/20100228) MIME-Version: 1.0 To: agents@cs.umbc.edu, aiia@di.unito.it, appsem@disi.unige.it, behavior@cs.ucsd.edu, cmcs@cs.indiana.edu, coalgebras@iti.cs.tu-bs.de, comlab@comlab.ox.ac.uk, concurrency@cwi.nl, Concurrency@listserver.tue.nl, csl@dbai.tuwien.ac.at, dbworld@cs.wisc.edu, dipartimento@di.unipi.it, eacsl@dimi.uniud.it, eapls@jiscmail.ac.uk, eatcs-it-l@unifi.it, etalle@cs.utwente.nl, focs@comlab.ox.ac.uk, FMxSOCandBPM@cs.unibo.it, formal-methods@cs.uidaho.edu, generative@rz.tu-ilmenau.de, gragra@i3.informatik.rwth-aachen.de, grin@di.unipi.it, gulp-all@yahoogroups.com, hise-safety-critical@minster.cs.york.ac.uk, ic.eatcs@di.unipi.it, idss@socs.uts.EDU.AU, ifip@ifip.or.at, ifmsig@cs.tcd.ie, lics@informatik.hu-berlin.de, lics@research.att.com, lics@research.bell-labs.com, logic-announce@uclink4.berkeley.edu, logic-list@cs.rice.edu, m4m@science.uva.nl, maude-users@peepal.cs.uiuc.edu, members@fmeurope.org, moca-announce@list.it.uu.se, nvti-list@cwi.nl, oose@uni-paderborn.de, petrinet@informatik.uni-hamburg.de, qed@mcs.anl.gov, resist@laas.fr, rewriting@ens-lyon.fr, SAFE-NL@NIC.SURFNET.NL, SECURITY@FOSAD.ORG, sensoria-core@di.unipi.it, Sensoria@lists.tcs.ifi.lmu.de, seworld@cs.colorado.edu, stimdi-rek-subscribe@yahoogroups.com, theory-a@listserv.nodak.edu, theory@brics.dk, theory@cl.cam.ac.uk, theory@cs.bham.ac.uk, theorynt@listserv.nodak.edu, tocai@dis.uniroma1.it, types-announce@lists.seas.upenn.edu, formal-methods@cs.uidaho.edu, types-announce@lists.seas.upenn.edu, pvs@csl.sri.com, haskell@haskell.org, concurrency@tue.nl, ecoop-info@ecoop.org, coalgebras@iti.cs.tu-bs.de, lprolog@cs.umn.edu, moca-announce@list.it.uu.se, theorynt@listserv.nodak.edu, papm@inf.ed.ac.uk, categories@mta.ca, caml-list@inria.fr Subject: 2nd CFP WS-FM 2010 - Formal aspects of service oriented and cloud computing References: <48DCACFE.6000908@cs.unibo.it> In-Reply-To: <48DCACFE.6000908@cs.unibo.it> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Spam: no; 0.00; unibo:01 co-located:01 compositions:01 unambiguous:01 semantics:01 e-science:01 logics:01 lncs:01 lncs:01 shriram:01 eindhoven:01 torino:01 bhargavan:01 karsten:01 eindhoven:01 ======================================================================== WS-FM 2010 7th International Workshop on Web Services and Formal Methods: Formal aspects of service oriented and cloud computing September 16-17, 2010 New Jersey, USA http://www.cs.ucsb.edu/~vlab/ws-fm10/ ------------------------------------------------------------------------ *2nd CALL FOR PAPERS* Abstract Submission: May 28, 2010 Paper Submission: June 4, 2010 ======================================================================== WS-FM 2010 will be held at the Stevens Institute of Technology, Hoboken, New Jersey, USA, on September 16-17, 2010 (Hoboken is located across the Hudson river from Manhattan and easily accessible by subway, ferry, or bus from New York) and will be co-located with: 8th Int. Conference on Business Process Management (BPM 2010) http://www.bpm2010.org/ 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 Main 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 * 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, http://www.easychair.org/conferences/?conf=wsfm2010 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). INVITED SPEAKERS The list of invited speakers currently includes: - Rick Hull, IBM Watson Research Center, USA - Shriram Krishnamurthi, Brown University, USA IMPORTANT DATES Abstract Submission: May 28, 2010 Paper Submission: June 4, 2010 Notification: July 14, 2010 Final version due: July 23, 2010 PROGRAM COMMITTEE Wil van der Aalst, Eindhoven Univ. of Technology, The Netherlands Matteo Baldoni, University of Torino, Italy Samik Basu, Iowa State University, USA Karthikeyan Bhargavan, Microsoft Research-INRIA Joint Centre, France Mario Bravetti, University of Bologna, Italy (co-chair) Tevfik Bultan, Univ. of California at Santa Barbara, USA (co-chair) Nicola Dragoni, Technical University of Denmark, Denmark Marlon Dumas, University of Tartu, Estonia Schahram Dustdar, Technical University of Wien, Austria José Luiz Fiadeiro, University of Leicester, UK Howard Foster, Imperial College London, UK Xiang Fu, Hofstra University, USA Stefania Gnesi, ISTI-CNR, Italy Sylvain Hallé, Université du Québec à Chicoutimi, Canada Thomas Hildebrandt, IT University of Copenhagen, Denmark Kohei Honda, Queen Mary, University of London, UK Manuel Mazzara, University of Newcastle, UK Manuel Nunez, Universidad Complutense de Madrid , Spain Gwen Salaün, Grenoble INP - INRIA - LIG, France Jianwen Su, University of California at Santa Barbara, USA Karsten Wolf, University of Rostock, Germany Gianluigi Zavattaro, University of Bologna, Italy STEERING COMMITTEE Wil van der Aalst, Eindhoven Univ. of Technology, The Netherlands Mario Bravetti, University of Bologna, Italy Marlon Dumas, University of Tartu, Estonia José Luiz Fiadeiro, University of Leicester, UK Gianluigi Zavattaro, University of Bologna, Italy