ICFEM brings together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, and to help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical, tangible benefit.
Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal methods and their support environments will also be considered:
- Formal model-based development and code generation
- Abstraction and refinement
- Formal specification and modelling
- Software verification
- Formal approaches to software testing
- Software model checking
- Formal methods for object and component systems
- Analysis and models for concurrency
- Formal methods for cloud computing
- Tool development and integration
- Software safety, security and reliability
- Experiments involving verified systems
- Applications of formal methods
