FM 2008

Ĺbo Akademi University Formal Methods Europe

Doctoral Symposium

27 May, 2008

Following the success of the Doctoral Symposium at FM'06, FM'08 also features a half-day Doctoral Symposium. Students have submitted short papers describing their work in progress. The authors of the accepted papers will present their work to the members of the Doctoral Symposium Committee, who will act as "friendly examiners", providing detailed feedback.

Symposium Format

The Doctoral Symposium will take a half-day. The participating students and committee members will spend this time together so that the students will get the opportunity to discuss their research issues.

The Doctoral Symposium has the following program:

9:00 Satish Misra and Holger Schlingloff. Formal specification methods for the improvement of process and product quality

9:30 Adrian Rutle. A formal approach to modeling and model transformations in software engineering

10:00 Georgeta Igna. Towards data path analysis using Uppaal

10:30 Break

11:00 Manish Gaur. A routing calculus for distributed computing

11:30 Gunnar Piho. Towards archetypes based domain model of clinical laboratory

12:00 Antonio Bucciarone. Formal specification and validation of dynamic software architectures

12.30 Closing

Proceedings

The proceedings of the Doctoral Symposium will be available at the event as a TUCS technical report.

Any further enquiries can be sent to the Doctoral Symposium Chair Elena Troubitsyna.

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