International Conference on Software Engineering and Formal Methods
|This article may rely excessively on sources too closely associated with the subject, potentially preventing the article from being verifiable and neutral. (August 2013) (Learn how and when to remove this template message)|
|This article relies too much on references to primary sources. (August 2013) (Learn how and when to remove this template message)|
Until 2002, SEFM was a workshop; it then became a full international conference. It is sponsored by the IEEE Computer Society. The 1st IEEE International Conferences on Software Engineering and Formal Methods (SEFM 2003) was held at Brisbane, Australia in September 2003. Submissions originated from 22 different countries. As well as IEEE-CS, supporters for SEFM 2003 included the Australian Computer Society (ACS), Boeing Australia, and the Italian Embassy in Canberra.
SEFM aims to bring together practitioners and researchers from academia, industry, and government, to advance the state of the art in formal methods, to help in their large-scale application in the software industry, and to encourage their integration with other practical software engineering methods.
The conferences are often held in the Asia and Pacific regions and specifically in developing countries. An important aim of the SEFM conferences is to encourage research cooperation between developing countries and industrialized countries. SEFM 2010 was in Pisa, Italy. SEFM 2013 was in Madrid, Spain. SEFM 2014 takes place in Grenoble, France 
- SEFM history, UNU-IIST, United Nations University, Macau.
- SEFM 2003, Brisbane, Australia, 2003.
- SEFM Proceedings, SpringerLink, 2005.
- SEFM 2005 Proceedings, IEEE Xplore, 2005.
- SEFM 2010, CNR, Italy.
- "SEFM 2013". Madrid, Spain: Universidad Complutense. Retrieved 4 March 2013.
- "SEFM 2014". Retrieved 15 January 2014.
- Conference on Software Engineering and Formal Methods (SEFM), DBLP.
- Bowen, Jonathan P.; Butler, Michael; Reeves, Steve; Hinchey, Mike (2013). "Editorial". Formal Aspects of Computing. 5: 343. doi:10.1007/s00165-013-0281-8.
|This formal methods-related article is a stub. You can help Wikipedia by expanding it.|