From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 4B51ABB81 for ; Wed, 20 Jul 2005 10:46:52 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j6K8kUnK030105 for ; Wed, 20 Jul 2005 10:46:31 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA27408 for ; Wed, 20 Jul 2005 10:46:30 +0200 (MET DST) Received: from lea.cs.unibo.it (lea.cs.unibo.it [130.136.1.101]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j6K8kT5m025822 for ; Wed, 20 Jul 2005 10:46:30 +0200 Received: from colline.cs.unibo.it (colline.cs.unibo.it [130.136.5.34]) by lea.cs.unibo.it (Postfix) with ESMTP id 245278B400; Wed, 20 Jul 2005 10:46:29 +0200 (CEST) Received: from localhost (bravetti@localhost) by colline.cs.unibo.it (8.9.3p2/8.9.3/Debian 8.9.3-21) with ESMTP id KAA21091; Wed, 20 Jul 2005 10:46:29 +0200 X-Authentication-Warning: colline.cs.unibo.it: bravetti owned process doing -bs Date: Wed, 20 Jul 2005 10:46:28 +0200 (CEST) From: Mario Bravetti 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 Subject: WS-FM 2005 Call For Participation In-Reply-To: Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=iso-8859-1 Content-Transfer-Encoding: QUOTED-PRINTABLE X-Miltered: at nez-perce with ID 42DE0F67.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 42DE0F65.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; unibo:01 unibo:01 co-located:01 run-time:01 analysing:01 semantics:01 semantics:01 run-time:01 datatypes:01 eindhoven:01 banatre:01 rennes:01 bhargavan:01 broy:01 universitat: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. ---------------------------------------------------------------------- =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =09=09=09Call for Participation 2nd International Workshop on Web Services and Formal Methods (WS-FM 2005) 1-3 September 2005, Versailles, France http://cs.unibo.it/WS-FM05 Co-located with EPEW'05 2nd European Performance Evaluation Workshop=20 =09 * Early registration deadline: July 28th * =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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 moving towards two main directions: The first one tends to the definition of new 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... The second approach consists of the design of new (meta-)Web Services to be exploited at run-time by other Web Services: e.g. managing the cooperation of Web Services or acting as dynamic registry services. Formal methods, which privide formal machinery for representing and analysing the behavior of communicating concurrent/distributed systems, may potentially play a fundamental role in the development of such innovations. First of all they may help in understanding the basic mechanisms (in terms of semantics) which characterize different orchestration and choreography languages and to focus on the essence=20 of new features that are needed. Secondly they may provide a formal=20 basis for reasoning about Web Service semantics (behaviour and=20 equivalence): e.g. for realizing registry services where retrieval=20 is based on the meaning of a service and not just a Web Service name.=20 Thirdly also studies on formal coordination paradigms can be exploited=20 for developing mechanisms for complex run-time Web Service coordination.= =20 Finally, given the importance of critical application areas for=20 Web Services like E-commerce, the development of the Web Service=20 technology can certainly take advantage from formal analisys of=20 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 activate a 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 descripion 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 - Comparisons with different related technologies/approaches INVITED TALKS Peter Harrison, Imperial College London "Performance Engineering and Stochastic Modelling" Gianfranco Ciardo, University of California "Implicit representations and algorithms for the logic and=20 stochastic analysis of discrete--state systems" Cosimo Lavene, University of Bologna "PiDuce: A Process Calculus with Native XML Datatypes" Wil van der Aalst, Eindhoven University of Technology "Life After BPEL ?" PROGRAM CO-CHAIRS Mario Bravetti and Gianluigi Zavattaro PROGRAM COMMITTEE: Marco Aiello University of Trento, Italy=20 Jean-Pierre Banatre University of Rennes1 and INRIA, France=20 Boualem Benatallah University of New South Wales, Australia=20 Karthik Bhargavan Microsoft research Cambridge, UK=20 Manfred Broy Technische Universitat Munchen, Germany=20 Roberto Bruni University of Pisa, Italy=20 Michael Butler University of Southampton, UK=20 Fabio Casati HP Labs, USA=20 Rocco De Nicola University of Florence, Italy=20 Schahram Dustdar Wien University of Technology, Austria=20 Gianluigi Ferrari University of Pisa, Italy=20 Jose Luiz Fiadeiro University of Leicester, UK=20 Peter Furniss Choreology Ltd, UK=20 Stephanie Gnesi CNR Pisa, Italy=20 Reiko Heckel University of Leicester, UK=20 Nickolas Kavantzas Oracle Co., USA=20 Leila Kloul Universit=E9 de Versailles, France=20 Mark Little Arjuna Technologies Limited, UK=20 Natalia L=F3pez University Complutense of Madrid, Spain=20 Roberto Lucchi University of Bologna, Italy=20 Jeff Magee Imperial College London, UK=20 Fabio Martinelli CNR Pisa, Italy=20 Shin Nakajima National Institute of Informatics and JST, Japan=20 Manuel Nunez University Complutense of Madrid, Spain=20 Fernando Pelayo University of Castilla-La Mancha, Albacete, Spain= =20 Marco Pistore University of Trento, Italy=20 Wolfgang Reisig Humboldt University, Berlin, Germany=20 Vladimiro Sassone University of Sussex, UK=20 Frank Van Breugel York University, Toronto, Canada=20 Friedrich Vogt Technical University of Hamburg-Harburg, Germany=20