FM 2008

Help

If JavaScript is disabled the main navigation menu will not work, and in that case this menu might be used.

Login	FM2008 Programme	Committees	Delegate Information	Closed Calls
Author Pc Member	FM'08 week Events on the venue map Accepted Papers	Program Committee Organization Committee	Registration Accommodation Excursion & Banquet Restaurants, pubs, cafés Conference Venue Travel to Turku Location Local Attractions Weather in Turku Sightseeing Outside Turku	Call for Submissions

News

Pictures from the conference week now available. (2.7.2008)

Material for the IDay presentations available. (4.6.2008)

The diploma for the best paper award is on the web. (4.6.2008)

The link to the next Formal Methods conference has been added. (4.6.2008)

The abstract of Paolo Bresciani is now available. (23.5.2008)

The registration is now closed. (22.5.2008)

The program of the Doctoral Symposium is now available. (15.5.2008)

Unfortunately, Tutorial 7 has been cancelled. (9.5.2008)

Comparing the hotels in Turku by a non-profit organisation can be found here. (9.5.2008)

A list of selected restaurants, pubs and cafés can now be found here. (9.5.2008)

The Workshop on Pilot Projects for the Grand Challenge in Verified Software is now accessible. (17.4.2008)

Hostel Turku added as new accommodation alternative. Please check the accommodation page for more information. (15.4.2008)

The abstract of Prof. Arvind is now accessible. (11.4.2008)