International Conference on Software Engineering and Formal Methods
The International Conference on Software Engineering and Formal Methods (SEFM) is an international academic conference in the field of software engineering.[1]
History
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.[2] 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.
The proceedings for the conference are published by the Springer Science+Business Media in LNCS since 2011.[3] Previously, the proceedings were published by IEEE.[4]
Aims
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.[5] SEFM 2013 was in Madrid, Spain.[6] SEFM 2014 takes place in Grenoble, France [7]
The SEFM conference series is included on the DBLP online publications database.[8] Revised selected papers sometimes appear as special journal issues.[9]
References
- ^ SEFM history Archived 2010-06-12 at the Wayback Machine, UNU-IIST, United Nations University, Macau.
- ^ SEFM 2003 Archived 2010-06-12 at the Wayback Machine, 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 (3): 343. doi:10.1007/s00165-013-0281-8.
External links
- SEFM website
- v
- t
- e
- ACM/IEEE Supercomputing Conference
- ARITH Symposium on Computer Arithmetic
- Asia and South Pacific Design Automation Conference
- Conference on Computer Vision and Pattern Recognition
- Custom Integrated Circuits Conference
- Design Automation and Test in Europe
- Design Automation Conference
- European Test Symposium
- Global Communications Conference
- Hot Chips
- Hot Interconnects
- International Conference on Acoustics, Speech, and Signal Processing
- IEEE Conference on Artificial Intelligence
- International Conference on Communications
- International Conference on Computer Vision
- International Conference on Computer-Aided Design
- International Conference on Software Engineering and Formal Methods
- International Conference on Web Services
- International Electron Devices Meeting
- IEEE MTT-S International Microwave Symposium
- International Solid-State Circuits Conference
- International Symposium on Circuits and Systems
- International Symposium on Information Theory
- International Symposium on Mixed and Augmented Reality
- International Symposium on Personal, Indoor and Mobile Radio Communications
- International Symposium on Physical Design
- Iran Workshop on Communication and Information Theory
- Southwest Symposium on Image Analysis and Interpretation
- Symposia on VLSI Technology and Circuits
- Symposium on Foundations of Computer Science
- Symposium on Logic in Computer Science
- Vehicular Technology Conference
- IEEE Visualization
This formal methods-related article is a stub. You can help Wikipedia by expanding it. |
- v
- t
- e