Web Services and Formal Methods

WS-FM 2013: Beijing, China

WS-FM 2012: Tallinn, Estonia

WS-FM 2011: Clermont-Ferrand, France

WS-FM 2010: Hoboken, NJ, USA

WS-FM 2009: Bologna, Italy

WS-FM 2008: Milan, Italy

WS-FM 2007: Brisbane, Australia

WS-FM 2006: Vienna, Austria