Web Services and Formal Methods

9th International Workshop on Web Services and Formal Methods, WS-FM 2012
September 6-7, 2012, Tallinn, Estonia

co-located to BPM 2012

Logo of the BPM 2012 conference. WS-FM was co-located to the 10th International Conference on Business Process Management, BPM 2012 (September 3-6, 2012).

Springer LNCS Proceedings

The proceedings are be published by Springer as LNCS, Volume 7843.

Logo of Springer's LNCS.

Program Online

The program of WS-FM is available. For each talk, we also linked the presentation slides.

Program Committee Chairs

Maurice ter Beek
Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, CNR, Pisa, Italy
Niels Lohmann
Universität Rostock, Germany

Program Committee

Farhad Arbab
CWI, Amsterdam, The Netherlands
Maurice ter Beek
Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, CNR, Pisa, Italy
Laura Bocchi
University of Leicester, UK
Mario Bravetti
University of Bologna, Italy
Roberto Bruni
University of Pisa, Italy
Marco Carbone
IT University of Copenhagen, Denmark
Erik De Vink
Eindhoven University of Technology, The Netherlands
Schahram Dustdar
Vienna University of Technology, Austria
José Luiz Fiadeiro
University of Leicester, UK
Stefania Gnesi
Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, CNR, Pisa, Italy
Lars Grunske
University of Kaiserslautern, Germany
Sylvain Hallé
Université du Québec à Chicoutimi, Canada
Ivan Lanese
University of Bologna, Italy
Niels Lohmann
Universität Rostock, Germany
Manuel Mazzara
Newcastle University, UK
Arjan Mooij
Embedded Systems Institute, The Netherlands
Jean-Marc Petit
University of Lyon/CNRS, France
Artem Polyvyanyy
HPI Potsdam, Germany
Rosario Pugliese
University of Florence, Italy
Christian Stahl
Eindhoven University of Technology, The Netherlands
Hagen Voelzer
IBM Research, Switzerland
Matthias Weidlich
Technion, Israel
Martin Wirsing
Ludwig-Maximilians-Universität München, Germany
Karsten Wolf
Universität Rostock, Germany

Steering Committee

Wil van der Aalst
Eindhoven University of Technology, The Netherlands
Mario Bravetti
University of Bologna, Italy
Marlon Dumas
University of Tartu, Estonia
José Luiz Fiadeiro
University of Leicester, UK
Gianluigi Zavattaro
University of Bologna, Italy

News

New June 6, 2013
LNCS proceedings now also available online.
May 8, 2013
WS-FM 2013 will be colocated to BPM 2013 and take place on August 29-30, 2013 in Beijing, China.
May 7, 2013
LNCS Proceedings appeared as LNCS volume 7843 and will be shipped to the authors soon.
July 27, 2012
List of accepted papers and information on the registration published.
June 4, 2012
Submission deadline extended.
February 20, 2012
Program Committee confirmed.
January 16, 2012
Website launched.

Important Dates

Paper submission deadline
June 9, 2012 June 16, 2012
Author notification
July 21, 2012 July 26, 2012
Camera-ready copy
August 4, 2012
Workshop dates
September 6-7, 2012