The 8th IEEE International Conference on

Pisa, Italy
13--18 September, 2010

SEFM 2010 is the 8th IEEE International Conference on Software Engineering and Formal Methods. The aim of the conference is to bring together researchers and practitioners from academia, industry and government to advance the state-of-the-art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods.

We invite proposals for full day or half day tutorials related to the topics of SEFM, and we encourage tutorials that address recent research themes.

SEFM 2010 tutorial proposals should include:

  • tutorial title
  • names, affiliations and brief CV of the tutors
  • duration
  • a description of the tutorial theme
  • key learning objectives for the participants and required background
  • audio/video requirements, if any

Proposals (at most 5 pages) should be sent to the tutorial chair Laura Semini at

The deadline for submissions is April 15, 2010.

Notification will be sent by May 15.

Tutorial participants will be offered registration for SEFM 2010 with a special discount fee.

More information on SEFM 2010: or Further inquiries can be made to the tutorial chair SEFM 2010 School
Home    |    News   |   Downloads   |   Sitemap   |  
Warning: date(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /project/FMT/sefm2010/include/footer.php on line 83
  |   rss feed   |   css 2.1   |   last updated: 24 Sep, 2010 - 13:07