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.


WS-FM 2012 will be held in Tallinn, Estonia on September 6-7, 2012 under the auspices of the Institute of Computer Science of University of Tartu. Tallinn is a progressive and dynamic city with a millenary history. The picturesque Tallinn Old Town, included in the UNESCO World Heritage List, is a unique pearl of medieval architecture, considered as one of the most intact medieval city centers in the world.

The workshop will take place in room Grande 3.

The BPM website provides detailed information on how to get to Tallinn.


The BPM website provides a list of hotels in Tallinn.

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