Venue and Accommodation
Venue
WS-FM 2013 will be held in Beijing Xijiao Hotel on August 29-30, 2013. It will be co-located with the 11th International Conference on Business Process Management (BPM 2013).
Web Services and Formal Methods (WS-FM 2013)
August 29-30, 2013, Beijing, China
10th International Workshop on Web Services and Formal Methods:
Formal Aspects of Service-Oriented and Cloud Computing
Formal Aspects of Service-Oriented and Cloud Computing
News
August 6 2013
Programme now available!
May 23 2013
The proceedings of WS-FM 2012 are now available!
May 18 2013
Deadlines extended
Checkout the new deadlines below
May 18 2013
May 11 2013
March 5 2013
WS-FM 2013 poster in Chinese
February 10 2013
First call for paper announced
January 27 2013
Website Launched
