About ICFEM
ICFEM 2025 is the International Conference on Formal Engineering Methods, a C-ranked software engineering conference. It takes place on 10 November 2025 in Hangzhou, China. Full papers were due 1 June 2025, with abstracts by 25 May 2025.
Important dates
- Abstract registration
- Paper submission
- Conference begins
Before you submit
- Read the full call for papers — page limits, template (IEEE, ACM, LNCS …) and whether review is double-blind.
- Deadlines are usually 23:59 AoE — convert to Bangladesh time (UTC+6) and aim to submit a day early.
- At least one author normally has to register and present; budget for the fee and, for in-person events, a visa appointment well before the conference.
- Look for student travel grants and volunteer programmes — most large conferences run both, with deadlines soon after notification.
Other editions
- ICFEM 202617–20 Nov 2026 · Southampton, United Kingdom
- ICFEM 2023November 21 - November 24, 2023 · Brisbane, Australia
- ICFEM 2024December 02 - December 06, 2024 · Hiroshima, Japan