|
|
|
|
FM 2008: 15TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
May 26 - 30, 2008
Hotel Caribia
Turku, Finland
Organized by
Åbo Akademi University and Formal Methods Europe
|
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)
- 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)
Archive
|
