TES 2004 -- Robust Web Services via Interaction Contracts -- When are Two Web Services Compatible? -- Negotiation Support for Web Service Selection -- From Web Service Composition to Megaprogramming -- Using Process Algebra for Web Services: Early Results and Perspectives -- Flexible Coordination of E-Services -- : A Tool for Automatic Composition of e-Services Based on Logics of Programs -- Dy…