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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 2E314BBAF for ; Fri, 16 Jul 2010 19:45:54 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvcDAPM3QEyCiAFmgWdsb2JhbACfbBUBARYiIsAxhSQEkg4 X-IronPort-AV: E=Sophos;i="4.55,215,1278280800"; d="scan'208";a="55677124" Received: from leb.cs.unibo.it ([130.136.1.102]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 16 Jul 2010 19:45:52 +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 DC8FA2362 ; Fri, 16 Jul 2010 19:45:34 +0200 (CEST) Message-ID: <4C409ABF.5020304@cs.unibo.it> Date: Fri, 16 Jul 2010 19:45:35 +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: Call for Participation 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 lncs:01 shriram:01 artem:01 stubs:01 kees:01 compositions:01 semantics:01 cloud:98 cloud:98 manhattan:98 bpm:98 bpm:98 attracting:98 ======================================================================== 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/ ------------------------------------------------------------------------ ** EARLY REGISTRATION IS OPEN UNTIL JULY 30** ======================================================================== 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/ 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. The workshop will begin on September 16th at 1:30pm (half day) and will end on September 17th at 5:00pm (full day). Registration to WS-FM 2010 is managed by BPM organization. Registration fee to WS-FM 2010 includes admission to the workshop, both on-site and LNCS post-workshop proceedings, morning and afternoon breaks, lunch on September 17th and the WS-FM 2010 social dinner on September 16th night. To register, please follow the link: http://www.bpm2010.org/registration/ For any other information refer to: http://www.cs.ucsb.edu/~vlab/ws-fm10/ WS-FM 2010 INVITED SPEAKERS Rick Hull, IBM Watson Research Center, USA Shriram Krishnamurthi, Brown University, USA LIST OF WS-FM 2010 ACCEPTED PAPERS Artem Polyvyanyy, Jussi Vanhatalo and Hagen Voelzer. Simplified Computation and Generalization of the Refined Process Structure Tree Sylvain Hallé. Automated Generation of Web Service Stubs Using Satisfiability Solving Cesar Andres, M. Emilia Cambronero and Manuel Núñez. Passive Testing of Timed Distributed Systems Esra Kucukoguz and Jianwen Su. On Lifecycle Constraints of Artifact-Centric Workflows Xiang Fu. Conformance Verification of Privacy Policies Matthias Weidlich, Felix Elliger and Mathias Weske. Generalised Computation of Behavioural Profiles based on Petri-Net Unfoldings Arjan Mooij, Jarungjit Parnjai, Christian Stahl and Marc Voorhoeve. Constructing Substitutable Services Using Operating Guidelines and Maximal Controllers Kees van Hee, Arjan Mooij, Natalia Sidorova and Jan Martijn van der Werf. Soundness-Preserving Refinements of Service Compositions David Raymond Christiansen, Marco Carbone and Thomas Hildebrandt. Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways Dinanath Nadkarni, Robyn Lutz, Samik Basu and Vasant Honavar. Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems Alexandra Potapova and Jianwen Su. On Nondeterministic Workflow Executions