WS-FM International Workshop on Web Services and Formal Methods Search within this conference 2015 WS-FM 2015 4-5 September Madrid, Spain Web Services, Formal Methods, and Behavioral Types 9 Papers 1 Volume 2014 WS-FM 2014 11-12 September Eindhoven, The Netherlands Web Services, Formal Methods, and Behavioral Types 9 Papers 1 Volume 2013 WS-FM 2013 28-29 August Beijing, China Web Services and Formal Methods 10 Papers 1 Volume 2012 WS-FM 2012 6-7 September Tallinn, Estonia Web Services and Formal Methods 9 Papers 1 Volume 2011 WS-FM 2011 1-2 September Clermont-Ferrand, France Web Services and Formal Methods 10 Papers 1 Volume 2010 WS-FM 2010 16-17 September Hoboken, NJ, USA Web Services and Formal Methods 12 Papers 1 Volume 2009 WS-FM 2009 4-5 September Bologna, Italy Web Services and Formal Methods 11 Papers 1 Volume 2008 WS-FM 2008 4-5 September Milan, Italy Web Services and Formal Methods 14 Papers 1 Volume 2007 WS-FM 2007 28-29 September Brisbane, QLD, Australia Web Services and Formal Methods 11 Papers 1 Volume 2006 WS-FM 2006 8-9 September Vienna, Austria Web Services and Formal Methods 18 Papers 1 Volume 2005 WS-FM 2005 1-3 September Versailles, France Formal Techniques for Computer Systems and Business Processes 24 Papers 1 Volume