The 27th International Conference on Formal Engineering Methods (ICFEM)

17–20 November 2026 , Southampton, UK

https://icfem2026.github.io/

ICFEM is an internationally leading conference series in formal methods and software engineering. Since 1997, ICFEM has served as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Researchers and practitioners from industry, academia, and government are encouraged to attend, present their research, and help advance the state of the art. ICFEM is interested in work that has been incorporated into real production systems, as well as in theoretical work that promises to bring practical and tangible benefits. ICFEM has been hosted in many countries around the world.
This year, the 27th International Conference on Formal Engineering Methods will be held in Southampton, UK. ICFEM 2026 welcomes submissions from researchers and practitioners worldwide to advance the field of formal methods and software engineering.

Important Dates (AoE):

    Abstract submission: 15 June 2026

    Full paper submission: 22 June 2026

    Notification: 8 August 2026

    Camera-ready: 7 September 2026

    Conference: 17–20 November 2026

More information and submission details:
https://icfem2026.github.io/

Co-located Workshop: The Eighth International Workshop on Formal Methods for Autonomous Systems (FMAS 2026)
https://fmasworkshop.github.io/FMAS2026/