FM 2008

Ĺbo Akademi University Formal Methods Europe

Workshops

Five co-located workshops address issues of specific formal techniques as well as novel computational models and grand challenges.

Inquiries should be directed to the Workshop Chair, John Derrick (Sheffield University).

Workshop Programme (May 26th - 27th)

Monday 26th

Formal aspects of virtual organisations (W1)
John Fitzgerald and Jeremy Bryans

Overture/VDM++ (W2)
Peter Gorm Larsen and Shin Sahara

Tuesday 27th

Refinement workshop (W3)
John Derrick

Pilot Projects for the Grand Challenge in Verified Software (W4)
Jim Woodcock

Computational Models for Cell Processes (W5)
Ion Petre and Ralph-Johan Back

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