| 1 | -- | 2 | Demis Ballis, Santiago Escobar, Massimo Marchiori. Preface |
| 3 | -- | 23 | Joost Visser. Coupled Transformation of Schemas, Documents, Queries, and Constraints |
| 25 | -- | 41 | Musab AlTurki, José Meseguer. Reduction Semantics and Formal Analysis of Orc Programs |
| 43 | -- | 65 | Faisal Abouzaid, John Mullins. A Calculus for Generation, Verification and Refinement of BPEL Specifications |
| 67 | -- | 85 | Jesús Manuel Almendros-Jiménez. An RDF Query Language based on Logic Programming |
| 87 | -- | 102 | María-José Hidalgo, José-Antonio Alonso, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina. Constructing Formally Verified Reasoners for the ACC Description Logic |
| 103 | -- | 118 | Sonia Flores, Salvador Lucas, Alicia Villanueva. Formal Verification of Websites |
| 119 | -- | 131 | Robin Message, Alan Mycroft. Controlling Control Flow in Web Applications |
| 133 | -- | 154 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi. Service Discovery and Negotiation With COWS |
| 155 | -- | 170 | Nawal Guermouche, Olivier Perrin, Christophe Ringeissen. Timed Specification For Web Services Compatibility Analysis |
| 171 | -- | 187 | Peter Höfner, Florian Lautenbacher. Algebraic Structure of Web Services |