coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]WS-FM 2006 Call for Partecipation

From: Mario Bravetti <bravetti AT cs.unibo.it>
To: acl2 AT cs.utexas.edu, agents AT cs.umbc.edu, aiia AT di.unito.it, apes AT cs.strath.ac.uk, appsem-discussion AT harlequin.co.uk, appsem-ed-site AT dcs.ed.ac.uk, appsem-local AT di.uminho.pt, appsem AT disi.unige.it, appsem AT pauillac.inria.fr, behavior AT cs.ucsd.edu, cafeobj AT sran419.sra.co.jp, caml-list AT inria.fr, categories AT mta.ca, ccl AT dfki.uni-sb.de, clean-list AT cs.kun.nl, clp AT iscs.nus.edu.sg, cmcs AT cs.indiana.edu, coalgebras AT iti.cs.tu-bs.de, comlab AT comlab.ox.ac.uk, coq-club AT pauillac.inria.fr, cs-logic AT cs.indiana.edu, csl AT dbai.tuwien.ac.at, csp AT carlit.toulouse.inra.fr, dataloger AT cs.chalmers.se, dbworld AT cs.wisc.edu, dreamers AT dai.ed.ac.uk, eapls AT jiscmail.ac.uk, eatcs-it-l AT unifi.it, elan-users AT loria.fr, elf-list AT cs.cmu.edu, etalle AT cs.utwente.nl, focs AT comlab.ox.ac.uk, formal-methods AT cs.uidaho.edu, forte2003 AT Informatik.TU-Cottbus.DE, generative AT rz.tu-ilmenau.de, generic-haskell AT cs.uu.nl, gragra AT bach.informatik.rwth-aachen.de, gragra AT i3.informatik.rwth-aachen.de, gulp AT di.unipi.it, harning AT sigchi.dk, haskell AT haskell.org, hise-safety-critical AT minster.cs.york.ac.uk, idss AT socs.uts.EDU.AU, ifip AT ifip.or.at, ifmsig AT cs.tcd.ie, imps AT linus.mitre.org, isabelle-users AT cl.cam.ac.uk, isda02 AT softcomputing.net, lfcs-interest AT dcs.ed.ac.uk, lics-request AT dcs.ed.ac.uk, lics AT research.att.com, lics AT research.bell-labs.com, linear AT cs.stanford.edu, logic-announce AT uclink4.berkeley.edu, logic-list AT cs.rice.edu, lotos-world AT site.uottawa.ca, lpnmr AT cs.engr.uky.edu, lprolog-list AT cis.upenn.edu, lprolog AT cis.upenn.edu, m4m AT science.uva.nl, maude AT csl.sri.com, mercury-ads AT cs.mu.oz.au, multi AT cs.chalmers.se, nuprllist AT CS.Cornell.EDU, nuprlnotes AT www1.cs.cornell.edu, om-announce AT lars.math.fsu.edu, oose AT uni-paderborn.de, pop-group AT cs.cmu.edu, post+comp.compilers AT andrew.cmu.edu, post+comp.lang.functional AT andrew.cmu.edu, post+comp.lang.ml AT andrew.cmu.edu, post+comp.lang.scheme AT andrew.cmu.edu, prog-lang AT brics.dk, prog-lang AT daimi.aau.dk, prog-lang AT diku.dk, proglog AT cs.chalmers.se, prolog-vendors AT sics.se, prologia AT prologianet.univ-mrs.fr, pvs AT csl.sri.com, qed AT mcs.anl.gov, reus AT informatik.uni-muenchen.de, rewriting AT ens-lyon.fr, scheme48 AT zurich.csail.mit.edu, scheme AT mc.lcs.mit.edu, seworld AT cs.colorado.edu, sicstus-users AT sics.se, sig-coord AT flp.cs.tu-berlin.de, smid-medl AT imv.au.dk, stimdi-rek-subscribe AT yahoogroups.com, stochver AT cs.bham.ac.uk, streicher AT mathematik.tu-darmstadt.de, theorem-provers AT ai.mit.edu, theory AT brics.dk, theory AT cl.cam.ac.uk, theory AT cs.bham.ac.uk, theorynt AT listserv.nodak.edu, webmaster AT eatcs.org, zeves AT ora.on.ca, zforum AT comlab.ox.ac.uk, zforum AT prg.ox.ac.uk, seworld AT cs.colorado.edu, SECURITY AT FOSAD.ORG, moderated <concurrency AT cwi.nl>, papm AT informatics.ed.ac.uk, announce AT tcos.org, eacsl AT dimi.uniud.it, ecoop-info AT ecoop.org, fmics AT inrialpes.fr, h-2 AT isolde.mcs.newpaltz.edu, members AT fmeurope.org, theory-a AT listserv.nodak.edu, grin AT di.unipi.it, PetriNets AT daimi.au.dk, nvti-list AT cwi.nl
Subject: [Coq-Club]WS-FM 2006 Call for Partecipation
Date: Mon, 26 Jun 2006 22:32:39 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

----------------------------------------------------------------------
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

[Coq-Club]WS-FM 2006 Call for Partecipation, Mario Bravetti