FM 2008

Ĺbo Akademi University Formal Methods Europe

Proceedings

The proceedings of the 15th International Symposium on Formal Methods will be published by Springer-Verlag in Lecture Notes for Computer Science series, in volume 5014. Accepted papers should be in Springer's format and should not exceed 16 pages including appendices.

Please note that an accepted paper will be published in the Proceedings only if at least one of its authors attends the symposium, in order to present their accepted work.

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
Email: fm2008@abo.fi, Phone: +358 2 215 4754, Fax: +358 2 215 4732