Main Conference Paper
Full technical papers not exceeding 16 pages (excluding references and appendix) in Springer's LNCS format, undergoing single-blind peer review.
Software Eng/CORE C
ICFEM 2025
International Conference on Formal Engineering Methods
ICFEM 2025 is the 26th International Conference on Formal Engineering Methods, serving as a leading forum for researchers and practitioners in formal methods and software engineering. It welcomes theoretical and applied work that has been integrated into real production systems, with a focus on advancing the state of the art through presentations, industrial case studies, and interdisciplinary collaboration, hosted in Hangzhou, China.
Key deadlines
Verified September 9, 2026Abstract registration
May 26, 2025
AoE
Full paper
June 2, 2025
AoE
Conference timeline
Submission and decisions
Abstract registrationKey deadline
May 26, 2025 · AoE
Full paperKey deadline
June 2, 2025 · AoE
Paper fit
Contribution paths
A strong submission should clearly identify its contribution and evaluate it appropriately.
Journal-First Presentation
Short proposals for recently published journal articles, submitted via a dedicated track to present work already published in journals.
Doctoral Symposium Submission
Two categories: 2-page extended abstracts (not in proceedings) and 6-page papers (included in proceedings), for PhD students to present their research.
Research areas in scope
01
Topics of Interest
Formal specification and modelingFormal approaches to fault prevention and detectionAbstraction, refinement, and evolutionFormal verification and validationIntegration of formal methods and testingIntegration of formal methods and reviewSAT/SMT solvers for software analysis and testingPractical formal methodsApplications of formal methodsFormal approaches to software maintenanceFormal approaches to safety-critical system developmentSupporting tools for formal methodsFormal methods for agile developmentFormal methods for human-machine pair programmingFormal methods for and with AIFormal methods for Cyber-physical systems and IoTFormal methods for securityFormal certification of productsIndustrial case studies
Policies worth checking twice
- Submissions must be in English and formatted according to Springer's LNCS guidelines.
- Main conference papers must not exceed 16 pages (excluding references and appendix).
- Submissions undergo single-blind peer review by at least three experts.
- At least one author of each accepted paper must register and pay the registration fee.
- Registration is not complete until payment is received and confirmed.
- Payment reference must include 'ICFEM2025_PaperID' or 'ICFEM2025_YourName'.
- Accepted papers are encouraged but not required to upload artifacts to repositories like Zenodo or GitHub for reproducibility.
- Invited extended versions of selected papers may be recommended to a special issue of Formal Aspects of Computing.
Official sources
Compiled from the official call for papers. The organizers’ pages remain authoritative.
Last verified September 9, 2026