WS-FM 2008 - 5th International Workshop on Web Services and Formal Methods

Past Workshops

WS-FM 2004

1st International Workshop on Web Services and Formal Methods
February 23-24, 2004, Pisa, Italy
Workshop affiliated to COORDINATION 2004

WS-FM 2005

2nd International Workshop on Web Services and Formal Methods
September 1-3, 2005, Versailles, France
Workshop co-located with EPEW 2005

WS-FM 2006

3rd International Workshop on Web Services and Formal Methods
September 8-9, 2006, Vienna, Austria
Workshop co-located with BPM 2006

WS-FM 2007

4th International Workshop on Web Services and Formal Methods
September 28-29, 2007, Brisbane, Australia
Workshop co-located with BPM 2007

Starting from 2007, the workshop has taken over the activities of the online community formerly known as the "Petri and Pi" Group, which allowed to bring closer the community of workflow oriented researchers with that of process calculi oriented researchers. People interested in the subject can still join the active mailing list on "Formal Methods for Service Oriented Computing and Business Process Management" (FMxSOCandBPM) available at http://www.cs.unibo.it/cgi-bin/mailman/listinfo/fmxsocandbpm