WS-FM'11
8th International Workshop on Web Services and Formal Methods
Invited Speakers
Kohei Honda
, Queen Mary University of London
Hassan Ait-Kaci
, IBM Canada
Home
Accepted Papers
Call for papers (CFP)
Submission
Important dates
Programme
Invited speakers
Committees
Registration
Venue, Location and Accommodation
Related events
Past conferences
Contact info