SEFM 2010 - Software Engineering and Formal Methods

8th IEEE International Conference on Software Engineering and Formal Methods

Pisa, Italy - 13-18 September 2010

Archived SEFM 2010 conference website reconstructed from the local site materials.

Welcome

SEFM 2010 brought together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, facilitate their uptake in the software industry and encourage their integration with practical engineering methods.

The conference was held at the Area della Ricerca CNR in Pisa, Italy, from 13 to 18 September 2010.

Conference Material

SEFM 2010 Programme	Conference programme in PDF format.
SEFM 2010 Booklet	Conference booklet.
Large Programme File	Original programme file preserved at site root.
Call for Papers	Original SEFM 2010 call for papers.
Poster	High quality poster in PDF format.

Keynote Speakers

Carlo Ghezzi, Italy
Dimitra Giannakopoulou, USA
Dusko Pavlovic, UK/USA

Topics

Topics of interest included formal requirement analysis, specification and design; model checking; theorem proving; formal methods for service-oriented, real-time, hybrid, embedded, safety-critical and secure systems; software architecture; testing; tool integration; and industrial applications of formal methods.

Related Sections

Latest Archived News

15 Sep 2010: Workshop room locations were announced.
09 Sep 2010: Speaker change for the tutorial "Multi-dimensional co-engineering of autonomous systems".
06 Sep 2010: Online registration closed; on-site registration remained available.
03 Sep 2010: Downloadable conference programme updated.

Read the archived RSS feed