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 you to submit proposals for one or two day workshops in the wide area of software engineering and formal methods.
In particular workshops on challenging new or emerging fields are appreciated.

SEFM 2010 workshop proposals should include:

  • workshop title and brief description of its scope and goals
  • names, affiliations and brief CV of the workshop organizers
  • format of the workshop and duration and selection procedure
  • expected number of participants
  • form of proceedings

Proposals (at most 2 pages) should be sent to the workshop chair Maurice ter Beek at:

The deadline for submissions is 20 January 2010.

Notification will be sent by 31 January.

Workshops with informal proceedings can be assisted in printing and distribution by the SEFM 2010 organizing committee. Workshop participants will be offered registration for SEFM 2010 with a special discount fee.

More information on SEFM 2010: -

Further inquiries can be made to the workshop 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:18