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.

Logo of Easychair.

Notice The submission deadline has been extended: Papers can be submitted until June 16, 2012.

Submissions must be original and should neither be already published somewhere else nor be under consideration for publication while being evaluated for this workshop.

Papers are to be prepared in Springer LNCS format and must not exceed 15 pages. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee.

All papers must be submitted following the instructions at the WS-FM 2012 submission site, handled by EasyChair.

submit a paper

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