From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 84896BC48 for ; Wed, 13 Apr 2005 12:28:51 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j3DASR0W019686 for ; Wed, 13 Apr 2005 12:28:27 +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 MAA07823 for ; Wed, 13 Apr 2005 12:28:27 +0200 (MET DST) Received: from lea.cs.unibo.it (lea.cs.unibo.it [130.136.1.101]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j3DASQ7p006626 for ; Wed, 13 Apr 2005 12:28:26 +0200 Received: from colline.cs.unibo.it (colline.cs.unibo.it [130.136.5.34]) by lea.cs.unibo.it (Postfix) with ESMTP id D355B8B412; Wed, 13 Apr 2005 12:28:25 +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 MAA24521; Wed, 13 Apr 2005 12:28:25 +0200 X-Authentication-Warning: colline.cs.unibo.it: bravetti owned process doing -bs Date: Wed, 13 Apr 2005 12:28:25 +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 2nd Call For Papers (submission deadline extended to may 6) 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 concorde with ID 425CF44B.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 425CF44A.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 lncs:01 lncs:01 banatre:01 rennes:01 bhargavan:01 broy:01 universitat:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: =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 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 =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 SUBMISSIONS Submissions must be original and should not have been published=20 previously or be under consideration for publication while being=20 evaluated for this workshop. Papers are to be prepared in LNCS format and must not exceed=20 15 pages. Accepted original papers will be published in the=20 workshop proceedings. It is planned to publish the proceedings=20 in the Springer Lecture Notes in Computer Science (LNCS)=20 series ( www.springeronline.com/lncs ). As done for the previous WS-FM'04 workshop, we intend to publish a journal special issue inviting full versions of papers selected among those presented at the workshop. IMPORTANT DATES May 6, 2005: Submission deadline (EXTENDED) June 10, 2005: Notification of acceptance June 20, 2005: Camera ready September 1-3, 2005: Workshop dates PROGRAM CO-CHAIRS Mario Bravetti and Gianluigi Zavattaro PROGRAM COMMITTEE: Marco Aiello =09=09University of Trento, Italy=20 Jean-Pierre Banatre =09University of Rennes1 and INRIA, France=20 Boualem Benatallah =09University of New South Wales, Australia=20 Karthik Bhargavan =09Microsoft research Cambridge, UK=20 Manfred Broy =09=09Technische Universitat Munchen, Germany=20 Roberto Bruni =09University of Pisa, Italy=20 Michael Butler =09University of Southampton, UK=20 Fabio Casati =09=09HP Labs, USA=20 Rocco De Nicola =09University of Florence, Italy=20 Schahram Dustdar =09Wien University of Technology, Austria=20 Gianluigi Ferrari =09University of Pisa, Italy=20 Jose Luiz Fiadeiro =09University of Leicester, UK=20 Peter Furniss =09Choreology Ltd, UK=20 Stephanie Gnesi =09CNR Pisa, Italy=20 Reiko Heckel =09=09University of Leicester, UK=20 Nickolas Kavantzas =09Oracle Co., USA=20 Leila Kloul =09=09Universit=E9 de Versailles, France=20 Mark Little =09=09Arjuna Technologies Limited, UK=20 Natalia L=F3pez =09=09University Complutense of Madrid, Spain=20 Roberto Lucchi =09University of Bologna, Italy=20 Jeff Magee =09=09Imperial College London, UK=20 Fabio Martinelli =09CNR Pisa, Italy=20 Shin Nakajima =09National Institute of Informatics and JST, Japan=20 Manuel Nunez =09=09University Complutense of Madrid, Spain=20 Fernando Pelayo =09University of Castilla-La Mancha, Albacete, Spain=20 Marco Pistore =09=09University of Trento, Italy=20 Wolfgang Reisig =09Humboldt University, Berlin, Germany=20 Vladimiro Sassone =09University of Sussex, UK=20 Frank Van Breugel =09York University, Toronto, Canada=20 Friedrich Vogt =09Technical University of Hamburg-Harburg, Germany=20