Welcome to ICFEM 2022

October 24-27, 2022, Madrid, Spain

[2022-10-10] Proceedings available.
[2022-09-15] Program announced.
[2022-07-06] SOFL+MSVL 2022 announced.
[2022-07-05] Registration is open.
[2022-06-30] Accepted papers announced.
[2022-05-25] FAVPQC 2022 announced.
[2022-04-11] Submission deadline extended.
[2022-03-16] Keynote talks confirmed.
[2021-10-11] Website of ICFEM is open.

The International Conference on Formal Engineering Methods (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.

The proceedings of the ICFEM 2022 symposium are planned to be published in Lecture Notes in Computer Science (Springer). The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to a special issue in journals indexed in the JCR. In particular, selected papers in the topics of the Journal of Logical and Algebraic Methods in Programming will be invited to a special issue.

Participation. We expect ICFEM 2022 to take place physically. However, in case any participant requires to assist/present virtually we will provide support for attending the conference online.

Proceedings. The proceedings are freely available online during October.

ICFEM 2023 will be held in Brisbane, Australia on 22-24 November 2023!

ICFEM 2023