1st International Workshop on Web Services and Formal Methods
February 23-24, 2004, Pisa, Italy
Workshop affiliated to COORDINATION 2004
2nd International Workshop on Web Services and Formal Methods
September 1-3, 2005, Versailles, France
Workshop co-located with EPEW 2005
3rd International Workshop on Web Services and Formal Methods
September 8-9, 2006, Vienna, Austria
Workshop co-located with BPM 2006
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