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   |     |   rss feed   |   css 2.1   |   last updated: 24 Sep, 2010 - 13:07