Overview
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.
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
- 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 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:
- Workshop/Tutorial Proposals: March 20, 2022 (send your proposals to ariesco@ucm.es and zhangmin@sei.ecnu.edu.cn)
- Abstract Submission: April 10, 2022 (AOE)
- Paper Submission: April 17, 2022 (AOE)
- Author Notification: June 26, 2022
- Camera-ready versions: July 10, 2022
- Conference: October 24-27, 2022
