The 26^th International Conference on Formal Engineering Methods

Welcome to the website of the 26^th International Conference on Formal Engineering Methods (ICFEM 2025)

ICFEM is an international leading conference series in formal methods and software engineering. Since 1997, ICFEM has been serving 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, and in theoretical work that promises to bring practical and tangible benefit. ICFEM has been hosted in many countries around the world.

Conference Paper Submission and Publication

Submission should be done through the ICFEM 2025 submission page(the web page is under construction).

As in previous years, the proceedings will be published in the Springer Lecture Notes in Computer Science series.

Papers should be written in English and should not exceed 16 pages (excluding references and appendix) in the Springer's LNCS format. Each submission will undergo a rigoroussingle-blind pear-review process by at least three experts. Extended versions of selected papers will berecommended to special issues of Formal Aspects of Computing after the conference proceedings. Formatting style files and further guidelines for formatting can be found at the Springer website (more details here).

We suggest, though it is not obligatory, that authors include line numbers in their submissions to facilitate the review process. Additionally, authors are encouraged to mention if there are any available artifacts related to their research, such as datasets, software, or supplementary materials, which could enhance the understanding and reproducibility of their work.

Doctoral Symposium Paper Submission

The ICFEM Doctoral Symposium is an international forum for PhD students studying all areas related to formal methods for software, hardware and system development. This forum is an excellent opportunity bringing together PhD students and well-known established researchers from the formal methods community. It will also provide PhD students with fruitful feedback and advice on their research approach and enable them to interact with other PhD students in order to stimulate the exchange of ideas and the sharing of experiences among participants. In summary, the PhD forum will provide PhD students with an ideal opportunity to present, share and discuss their research in a constructive and critical scientific atmosphere.

We seek submissions from PhD students who have either determined the direction of their thesis research (probably with some preliminary results already published), but who still have substantial work to complete; or PhD student participants who are in the early stages of their dissertations. It is not required to have a paper accepted at the main conference in order to participate in the ICFEM Doctoral Symposium.

Submissions to the Doctoral Symposium should include: Title of the research, the author name (single name) and affiliation; Context and motivation; Problem statement and related work; Proposed solutions and current research efforts, their significance, methodology, results and analysis, and future work. The paper should be prepared using the LNCS format and submitted in PDF format via EasyChair.

We accept two types of submissions: (a) 2-page extended abstracts which will not be included in the ICFEM proceedings; and (b) 6-page papers which will be published in the LNCS volume of Springer as part of the main ICFEM proceedings.

Authors with accepted submissions are expected to attend the Doctoral Symposium in person to present their work. A discounted registration fee for Doctoral Symposium participants will be announced later.