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 nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 7A93CBC59 for ; Mon, 26 Jun 2006 22:33:36 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k5QKXD8L017859 for ; Mon, 26 Jun 2006 22:33:13 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA18560 for ; Mon, 26 Jun 2006 22:33:13 +0200 (MET DST) Received: from lea.cs.unibo.it (lea.cs.unibo.it [130.136.1.101]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k5QKXCmP017856 for ; Mon, 26 Jun 2006 22:33:12 +0200 Received: from [192.168.1.33] (adsl-ull-4-244.46-151.net24.it [151.46.244.4]) (using TLSv1 with cipher RC4-MD5 (128/128 bits)) (No client certificate requested) by lea.cs.unibo.it (Postfix) with ESMTP id EED108B3FA; Mon, 26 Jun 2006 22:32:42 +0200 (CEST) Message-ID: <44A04467.1080108@cs.unibo.it> Date: Mon, 26 Jun 2006 22:32:39 +0200 From: Mario Bravetti User-Agent: Mozilla Thunderbird 1.0.7 (Windows/20050923) X-Accept-Language: en-us, en MIME-Version: 1.0 To: acl2@cs.utexas.edu, agents@cs.umbc.edu, aiia@di.unito.it, apes@cs.strath.ac.uk, appsem-discussion@harlequin.co.uk, appsem-ed-site@dcs.ed.ac.uk, appsem-local@di.uminho.pt, appsem@disi.unige.it, appsem@pauillac.inria.fr, behavior@cs.ucsd.edu, cafeobj@sran419.sra.co.jp, caml-list@inria.fr, categories@mta.ca, ccl@dfki.uni-sb.de, clean-list@cs.kun.nl, clp@iscs.nus.edu.sg, cmcs@cs.indiana.edu, coalgebras@iti.cs.tu-bs.de, comlab@comlab.ox.ac.uk, coq-club@pauillac.inria.fr, cs-logic@cs.indiana.edu, csl@dbai.tuwien.ac.at, csp@carlit.toulouse.inra.fr, dataloger@cs.chalmers.se, dbworld@cs.wisc.edu, dreamers@dai.ed.ac.uk, eapls@jiscmail.ac.uk, eatcs-it-l@unifi.it, elan-users@loria.fr, elf-list@cs.cmu.edu, etalle@cs.utwente.nl, focs@comlab.ox.ac.uk, formal-methods@cs.uidaho.edu, forte2003@Informatik.TU-Cottbus.DE, generative@rz.tu-ilmenau.de, generic-haskell@cs.uu.nl, gragra@bach.informatik.rwth-aachen.de, gragra@i3.informatik.rwth-aachen.de, gulp@di.unipi.it, harning@sigchi.dk, haskell@haskell.org, hise-safety-critical@minster.cs.york.ac.uk, idss@socs.uts.EDU.AU, ifip@ifip.or.at, ifmsig@cs.tcd.ie, imps@linus.mitre.org, isabelle-users@cl.cam.ac.uk, isda02@softcomputing.net, lfcs-interest@dcs.ed.ac.uk, lics-request@dcs.ed.ac.uk, lics@research.att.com, lics@research.bell-labs.com, linear@cs.stanford.edu, logic-announce@uclink4.berkeley.edu, logic-list@cs.rice.edu, lotos-world@site.uottawa.ca, lpnmr@cs.engr.uky.edu, lprolog-list@cis.upenn.edu, lprolog@cis.upenn.edu, m4m@science.uva.nl, maude@csl.sri.com, mercury-ads@cs.mu.oz.au, multi@cs.chalmers.se, nuprllist@CS.Cornell.EDU, nuprlnotes@www1.cs.cornell.edu, om-announce@lars.math.fsu.edu, oose@uni-paderborn.de, pop-group@cs.cmu.edu, post+comp.compilers@andrew.cmu.edu, post+comp.lang.functional@andrew.cmu.edu, post+comp.lang.ml@andrew.cmu.edu, post+comp.lang.scheme@andrew.cmu.edu, prog-lang@brics.dk, prog-lang@daimi.aau.dk, prog-lang@diku.dk, proglog@cs.chalmers.se, prolog-vendors@sics.se, prologia@prologianet.univ-mrs.fr, pvs@csl.sri.com, qed@mcs.anl.gov, reus@informatik.uni-muenchen.de, rewriting@ens-lyon.fr, scheme48@zurich.csail.mit.edu, scheme@mc.lcs.mit.edu, seworld@cs.colorado.edu, sicstus-users@sics.se, sig-coord@flp.cs.tu-berlin.de, smid-medl@imv.au.dk, stimdi-rek-subscribe@yahoogroups.com, stochver@cs.bham.ac.uk, streicher@mathematik.tu-darmstadt.de, theorem-provers@ai.mit.edu, theory@brics.dk, theory@cl.cam.ac.uk, theory@cs.bham.ac.uk, theorynt@listserv.nodak.edu, webmaster@eatcs.org, zeves@ora.on.ca, zforum@comlab.ox.ac.uk, zforum@prg.ox.ac.uk, seworld@cs.colorado.edu, SECURITY@FOSAD.ORG, moderated , papm@informatics.ed.ac.uk, announce@tcos.org, eacsl@dimi.uniud.it, ecoop-info@ecoop.org, fmics@inrialpes.fr, h-2@isolde.mcs.newpaltz.edu, members@fmeurope.org, theory-a@listserv.nodak.edu, grin@di.unipi.it, PetriNets@daimi.au.dk, nvti-list@cwi.nl Subject: WS-FM 2006 Call for Partecipation Content-Type: text/plain; charset=iso-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 44A04489.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 44A04488.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; unibo:01 unibo:01 co-located:01 tuwien:01 semantics:01 semantics:01 run-time:01 eindhoven:01 eindhoven:01 milner:01 torino:01 banatre:01 rennes:01 bhargavan:01 fabio:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 ---------------------------------------------------------------------- We apologize if you receive multiple copies of this announcement. ---------------------------------------------------------------------- ====================================================================== 3rd International Workshop on Web Services and Formal Methods (WS-FM 2006) 8-9 September 2006, Vienna, Austria http://cs.unibo.it/ws-fm06 Official event of "The Process Modelling Group" http://www.process-modelling-group.org Co-located with BPM 2006 4th International Conference on Business Process Management http://bpm2006.tuwien.ac.at ====================================================================== ***** Early registration deadline: July 31st ***** SCOPE Web Services technology aims at providing standard mechanisms for describing the interface and the services available on the web, as well as protocols for locating such services and invoking them (e.g. WSDL, UDDI, SOAP). Innovations are mainly devoted to the definition of standards that support the specification of complex services out of simpler ones (the so called Web Service orchestration and choreography). Several proposals have been already set up: BPML, XLANG and BizTalk, WSFL, WS-BPEL, WS-CDL, etc... Formal methods, which provide formal machinery for representing and analysing the behavior of communicating concurrent/distributed systems, are playing a fundamental role in the development of such innovations. First of all they are exploited to understand the basic mechanisms (in terms of semantics) which characterize different orchestration and choreography languages and to focus on the essence of new features that are needed. Secondly they provide a formal basis for reasoning about Web Service semantics (behaviour and equivalence): e.g. for realizing registry services where retrieval is based on the meaning and behaviour of a service and not just a Web Service name. Thirdly, the studies on formal coordination paradigms can be exploited for developing mechanisms for complex run-time Web Service coordination. Finally, given the importance of critical application areas for Web Services like E-commerce, the development of the Web Service technology can certainly take advantage from formal analisys of security properties and performance in concurrency theory. The aim of the workshop is to bring together researchers working on Web Services and Formal Methods in order to facilitate fruitful collaboration in this direction of research. This, potentially, could also have a great impact on the current standardization phase of Web Service technologies. LIST OF TOPICS The topics of interest include, but are not limited to: - Protocols and standards for WS (SOAP, WSDL, UDDI, etc... ) - Languages and description methodologies for Coreography/Orchestration/Workflow (BPML, XLANG and BizTalk, WSFL, WS-BPEL, WS-CDL, YAWL, etc... ) - Coordination techniques for WS (transactions, agreement, coordination services, etc...) - Semantics-based dynamic WS discovery services (based on Semantic Web/Ontology techniques or other semantic theories) - Security, Performance Evaluation and Quality of Service of WS - Semi-structured data and XML related technologies INVITED TALKS Wil van der Aalst, Eindhoven University of Technology, The Netherlands "DecSerFlow: Towards a Truly Declarative Service Flow Language" Roberto Bruni, University of Pisa, Italy "SCC: a Service Centered Calculus" Schahram Dustdar, Wien University of Technology, Austria "Service QoS composition at the level of part names" PROGRAM COMMITTEE Co-Chairs Mario Bravetti University of Bologna, Italy Gianluigi Zavattaro University of Bologna, Italy Board of "The Process Modelling Group" Wil van der Aalst Eindhoven Univ.of Technology, The Netherlands Rob van Glabbeek NICTA, Sydney, Australia Keith Harrison-Broninski Role Modellers Ltd. Robin Milner Cambridge University, UK Roger Whitehead Office Futures Other PC members Marco Aiello University of Trento, Italy Farhad Arbab CWI, The Netherlands Matteo Baldoni University of Torino, Italy Jean-Pierre Banatre University of Rennes1 and INRIA, France Boualem Benatallah University of New South Wales, Australia Karthik Bhargavan Microsoft research Cambridge, UK Roberto Bruni University of Pisa, Italy Michael Butler University of Southampton, UK Fabio Casati HP Labs, USA Rocco De Nicola University of Florence, Italy Marlon Dumas Queensland University of Technology, Australia Schahram Dustdar Wien University of Technology, Austria Gianluigi Ferrari University of Pisa, Italy Jose Luiz Fiadeiro University of Leicester, UK Stefania Gnesi CNR Pisa, Italy Reiko Heckel University of Leicester, UK Kohei Honda Queen Mary, University of London, UK Nickolas Kavantzas Oracle Co., USA Leila Kloul Universite' de Versailles, France Cosimo Laneve University of Bologna, Italy Mark Little JBoss Inc Natalia Lopez University Complutense of Madrid, Spain Roberto Lucchi University of Bologna, Italy Jeff Magee Imperial College London, UK Fabio Martinelli CNR Pisa, Italy Manuel Mazzara University of Bolzano, Italy Ugo Montanari University of Pisa, Italy Shin Nakajima National Institute of Informatics and JST, Japan Manuel Nunez University Complutense of Madrid, Spain Fernando Pelayo University of Castilla-La Mancha, Albacete,Spain Marco Pistore University of Trento, Italy Wolfgang Reisig Humboldt University, Berlin, Germany Vladimiro Sassone University of Southampton, UK Marjan Sirjani Tehran University, Iran Friedrich Vogt Technical University of Hamburg-Harburg, Germany Martin Wirsing Ludwig-Maximilians University Munchen, Germany