Notice: Undefined variable: subpage in /project/FMT/sefm2010/include/menu.php on line 20

The eighth IEEE International Conference on Software Engineering and Formal Methods is hosted by

Formal Methods && Tools Lab (FM&&T) at the Institute of Information Science and Technologies of the Italian National Research Council (ISTI-CNR)
  and is to be held in Pisa, Italy, from 13th to 18th September, 2010.

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. Authors are invited to submit both research and tool papers.

The scientific program will include invited talks, paper and tool presentations, tool demonstrations, tutorials and workshops.

The proceedings of the conference will be published by the IEEE Computer Society Press.

There will be a school preceding the conference aiming to postgraduate students and researchers from academia and industry.

Please see the School Website for more information about the content and application form. 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: 02 Sep, 2010 - 18:38