ICFEM: International Conference on Formal Engineering Methods



Past:   Proceedings on DBLP

Future:  Post a CFP for 2024 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
ICFEM 2023 International Conference on Formal Engineering Methods
Nov 21, 2023 - Nov 24, 2023 Brisbane, Australia May 21, 2023 (May 14, 2023)
ICFEM 2022 23th International Conference on Formal Engineering Methods
Oct 24, 2022 - Oct 27, 2022 Madrid Apr 17, 2022 (Apr 10, 2022)
ICFEM 2020 The 22nd International Conference on Formal Engineering Methods (2020)
Nov 2, 2020 - Nov 6, 2020 Singapore May 24, 2020
Nov 12, 2018 - Nov 16, 2018 Gold Coast, Australia May 21, 2018
ICFEM 2017 19th International Conference on Formal Engineering Methods
Nov 13, 2017 - Nov 17, 2017 Xi'an May 7, 2017 (Apr 30, 2017)
ICFEM 2016 International Conference on Formal Engineering Methods
Nov 14, 2016 - Nov 18, 2016 Tokyo Apr 30, 2016 (Apr 22, 2016)
ICFEM 2015 17th International Conference on Formal Engineering Methods
Nov 3, 2015 - Nov 6, 2015 Paris Apr 26, 2015 (Apr 19, 2015)
ICFEM 2013 International Conference on Formal Engineering Methods
Oct 29, 2013 - Nov 1, 2013 Queenstown, New Zealand Apr 22, 2013 (Apr 15, 2013)
ICFEM 2012 14th International Conference on Formal Engineering Methods
Nov 12, 2012 - Nov 16, 2012 Kyoto, Japan Apr 30, 2012 (Apr 16, 2012)
ICFEM 2011 13th International Conference on Formal Engineering Methods
Oct 25, 2011 - Oct 28, 2011 Durham, UK Apr 7, 2011 (Mar 31, 2011)
ICFEM 2010 12th International Conference on Formal Engineering Methods
Nov 16, 2010 - Nov 19, 2010 Shanghai, China Jun 4, 2010 (May 28, 2010)
ICFEM 2009 11th International Conference on Formal Engineering Methods
Dec 9, 2009 - Dec 12, 2009 Rio de Janeiro Jul 20, 2009 (Jul 13, 2009)

Present CFP : 2023

24th International Conference on Formal Engineering Methods (ICFEM 2023)


ICFEM (International Conference on Formal Engineering Methods) 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. This year, ICFEM 2023 will be held in Brisbane, Australia (physical) on November 21-24, 2023.

Topics of Interest

Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to:

- Abstraction, refinement and evolution
- Formal specification and modelling
- Formal verification and analysis
- Model checking and equivalence checking
- Automated and interactive theorem proving
- Formal approaches to software testing and inspection
- Formal methods for self-adaptive systems
- Formal methods for object-oriented systems
- Formal methods for component-based systems
- Formal methods for concurrent and real-time systems
- Formal methods for cloud computing
- Formal methods for cyber-physical systems
- Formal methods for hardware and embedded systems
- Formal methods for software safety and security
- Formal methods for software reliability and dependability
- Development, integration and experiments involving verified systems
- Formal certification of products under international standards
- Formal model-based development and code generation

Important Dates

- Abstract Submission: May 14, 2023 (AOE)
- Paper Submission: May 21, 2023 (AOE)
- Author Notification: July 30, 2023
- Camera-ready versions: Aug 13, 2023
- Conference: Nov 21-24, 2023

More information can be found on the website of ICFEM 2023: https://formal-analysis.com/icfem/2023/

Submission Instructions

Submission should be done through the ICFEM 2023 submission page, handled by the EasyChair conference system:


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 (including references) in the Springer's LNCS format. Additional material may be placed in an appendix, to be read at the discretion of the reviewers and to be omitted in the final version. Formatting style files and further guidelines for formatting can be found at the Springer website.

Organizing Committee

General Co-Chairs
- Jin Song Dong, NUS and Griffith University, Singapore/Australia
- Guangdong Bai, The University of Queensland, Australia

Program Co-Chairs
- Yi Li, Nanyang Technological University, Singapore
- Sofiene Tahar, Concordia University, Canada

Finance Chair
- Zhe Hou, Griffith University, Australia

Publicity Chair
- Cheng-Hao Cai, Monash University at Suzhou, China
- Neeraj Kumar Singh, IRIT-ENSEEIHT, Toulouse, France

Workshop Chair
- Xiaofei Xie, Singapore Management University, Singapore

Publication Chair
- Xiaodong Qi, Nanyang Technological University, Singapore


Related Resources

ABZ 2024   Abstract State Machines, Alloy, B and Z
CGDEIJ 2023   Computer Game Development and Education: An International Journal
AVC 2023   Advances in Vision Computing: An International Journal
FM 2024   Formal Methods
DMS 2023   14th International conference on Database Management Systems
NLP 2023   12th International Conference on Natural Language Processing
VSTTE 2023   International Conference on Verified Software: Theories, Tools, and Experiments
IJPLA 2023   International Journal of Programming Languages and Applications
MECHAN 2023   6th International Conference on Mechanical Engineering
SOFTFM 2023   2nd International Conference on Software Engineering Advances and Formal Methods