The aim of the IEEE Conferences on Software Engineering and Formal methods is to bring together practitioners and researchers 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.

The geographic focus of the conferences is on the Asia and Pacific regions and, more extensively, on developing countries, also from other regions. An important aim of the SEFM conferences is to encourage research cooperation between developing countries, especially from the Asia and Pacific regions, and industrialized countries all over the world.

Next Conference: SEFM 2012, Thessaloniki, Greece, 1-5 October 2012.