Co-located Events
8th International Workshop on Web Services and Formal Methods
(WS-FM'11)
The aim of the WS-FM workshop series is to bring together researchers working
on SOC, cloud computing and formal methods in order
to catalyze fruitful collaboration. The scope of the workshop is not only
limited to technological aspects. In fact, the WS-FM series has a strong
tradition of attracting submissions on formal approaches to enterprise systems
modeling in general, and business process modeling in particular.
Potentially, this could have a significant impact on the on-going
standardization efforts for SOC and cloud computing technologies.
More info at http://www.itu.dk/wsfm2011/
Industrial Sponsors
Gold Sponsors
Silver Sponsors
Further Sponsors
Public Sponsors
Public Transport Strike
2011-08-27
There is a risk of strike by public transport on Monday 29th.
List of some Taxi companies (it cost around 10 euros to go from city center
to the campus):
- Allo Taxi Radio: +33 (0)4 73 19 53 53
- Eurotaxis Clermontois: +33 (0)4 73 600 600
- Taxi 63: +33 (0) 4 73 31 53 15
Walking from the central station or city center takes about 50min. You can
check the directions from your starting point on
Google Map for example
Information for Session Chairs and Presenters
2011-08-16
Information for sessions chairs and presenters are published
Early registration date changed
2011-07-08
The early registration can be made until July 30th
