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

• September 4-5, 2008, Milan, Italy

• URL: http://www.informatik.uni-rostock.de/ws-fm2008/

• co-located to BPM 2008

Participants from service-technology.org

• Karsten Wolf (Universität Rostock)

• Christian Gierds (Humboldt-Universität zu Berlin)

• Kathrin Kaschner (Universität Rostock)

• Niels Lohmann (Universität Rostock)

• Christian Stahl (Humboldt-Universität zu Berlin)

• Daniela Weinberg (Humboldt-Universität zu Berlin)

Contributions to WS-FM 2008

• Niels Lohmann. Why does my service have no partners? (5 September 2008, 14:00)

• Daniela Weinberg. Efficient Controllability Analysis of Open Nets (5 September 2008, 14:30)