Jump to content

International Conference on Software Engineering and Formal Methods

Add links
From Wikipedia, the free encyclopedia
(Redirected from SEFM)
SEFM, International Conference on Software Engineering and Formal Methods
StatusActive
FrequencyAnnual
Years active−1993–1994
FoundedSeptember 2003; 21 years ago (2003-09), Brisbane, Australia
AreaSoftware engineering; formal methods
SponsorsIEEE Computer Society
Websitesefm-conference.github.io

The International Conference on Software Engineering and Formal Methods (SEFM) is an international academic conference in the field of software engineering with a specialization in formal methods.[1]

History

[edit]

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 Conference 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 Springer in the Lecture Notes in Computer Science (LNCS) series since 2011.[3] Previously, the proceedings were published by IEEE.[4]

Aims

[edit]

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. The SEFM conferences aim 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 took place in Grenoble, France.[7] More recently, SEFM 2024 took place in Aveiro, Portugal.[8] SEFM 2025 is in Madrid, Spain.[9]

The SEFM conference series is included on the DBLP online publications database.[10] It is included on the VIAF database.[11] Revised selected papers sometimes appear as special journal issues.[12] The conference is also covered in external reports.[13] The conference proceedings are indexed by the Association for Computing Machinery (ACM).[14]

References

[edit]
  1. ^ SEFM history Archived 2010-06-12 at the Wayback Machine, UNU-IIST, United Nations University, Macau.
  2. ^ SEFM 2003 Archived 2010-06-12 at the Wayback Machine, Brisbane, Australia, 2003.
  3. ^ "Conference Proceedings: Software Engineering and Formal Methods". SpringerLink. Springer Science+Business Media. Retrieved 26 March 2025.
  4. ^ "Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 7–9 Sept. 2005". IEEE Xplore. IEEE. 2005. doi:10.1109/SEFM10602.2005. Retrieved 26 March 2025.
  5. ^ SEFM 2010, CNR, Italy.
  6. ^ "SEFM 2013". Madrid, Spain: Universidad Complutense. Retrieved 4 March 2013.
  7. ^ "SEFM 2014". Retrieved 15 January 2014.
  8. ^ Madeira, Alexandre; Knapp, Alexander (eds.). Software Engineering and Formal Methods, 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6–8, 2024, Proceedings. Lecture Notes in Computer Science (LNCS). Vol. 15280. Springer. doi:10.1007/978-3-031-47115-5. ISBN 978-3-031-47115-5.
  9. ^ "23rd International Conference on Software Engineering and Formal Methods, 10–14 November 2025". sefm-conference.github.io. Github. 2025. Retrieved 25 March 2025.
  10. ^ "IEEE International Conference on Software Engineering and Formal Methods (SEFM)". DBLP. Retrieved 25 March 2025.
  11. ^ "IEEE International Conference on Software Engineering and Formal Methods". VIAF. Retrieved 25 March 2025.
  12. ^ 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.
  13. ^ "SEFM 2021 Conference Report". FACS FACTS. 2022 (1). British Computer Society: 44–48. 2022.
  14. ^ "Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings". Association for Computing Machinery. 6 December 2021. doi:10.1007/978-3-030-92124-8. Retrieved 26 March 2025.
[edit]
Stub icon

This formal methods-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=International_Conference_on_Software_Engineering_and_Formal_Methods&oldid=1282429940"