WS-FM 2006
3rd International Workshop on
Web Services and Formal Methods
8-9 September 2006, Vienna, Austria
Program Committee
Co-chairs:
| Mario Bravetti | University if Bologna, Italy |
| Gianluigi Zavattaro | University if Bologna, Italy |
Board of "The Process Modelling Group":
| Wil van der Aalst | Eindhoven University 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 | Université de Versailles, France |
| Cosimo Laneve | University of Bologna, Italy |
| Mark Little | Arjuna Technologies Limited, UK |
| Natalia López | 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 Sussex, UK |
| Marjan Sirjani | Tehran University, Iran |
| Friedrich Vogt | Technical University of Hamburg-Harburg, Germany |
| Martin Wirsing | Ludwig-Maximilians-University Munchen, Germany |
Organizing Committee
Chair:
| Manuel Nunez | University Complutense of Madrid, Spain |
Local chair:
|
Friedrich Neubarth |
Austrian Research Institute for Artificial Intelligence |
Other members:
| Mario Bravetti | University of Bologna, Italy |
|
Gregorio Díaz |
Universidad Castilla-La Mancha, Spain |
|
Alberto de la Encina |
Universidad Complutense de Madrid, Spain |
| Roberto Lucchi | University of Bologna, Italy |
|
Mercedes G. Merayo |
Universidad Complutense de Madrid, Spain |
| Gianluigi Zavattaro | University of Bologna, Italy |