# ICFEM — International Conference on Formal Engineering Methods

- **Submission deadline**: 2026-06-01
- **Notification date**: 2026-08-08
- **Conference date**: 2026-11-17
- **Location**: Southampton, UK
- **Rankings**: CCF C · CORE C · QUALIS B1
- **Conference Partner Index**: 74.8/100 (ranked #267, confidence 1.00, algorithm 1.1) — how this is computed: https://www.myhuiban.com/ranking
- **Trackers**: 35
- **Attendees**: 6
- **Canonical page**: https://www.myhuiban.com/conference/228

## Acceptance history

| Year | Submitted | Accepted | Rate |
|---|---|---|---|
| 2009 | 121 | 36 | 29.8% |
| 2007 | 38 | 19 | 50% |
| 2006 | 108 | 38 | 35.2% |
| 2005 | 74 | 30 | 40.5% |
| 2004 | 110 | 30 | 27.3% |
| 2003 | 91 | 34 | 37.4% |
| 2002 | 108 | 59 | 54.6% |

## Call for papers

Scope and Topics 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: Formal specification and modeling Formal approaches to fault prevention and detection Abstraction, refinement, and evolution Formal verification and validation Integration of formal methods and testing Integration of formal methods and review SAT/SMT solvers for software analysis and testing Practical formal methods Applications of formal methods Formal approaches to software maintenance Formal approaches to safety-critical system development Supporting tools for formal methods Formal methods for agile development Formal methods for human-machine pair programming Formal methods for and with AI Formal methods for Cyber-physical systems and IoT Formal methods for security Formal certification of products Industrial case studies

## Related conferences

- SEFM — International Conference on Software Engineering and Formal Methods — https://www.myhuiban.com/conference/944
- FormaliSE — International Conference on Formal Methods in Software Engineering — https://www.myhuiban.com/conference/3047
- SOFTFM — International Conference on Software Engineering Advances and Formal Methods — https://www.myhuiban.com/conference/4435
- FM — International Symposium on Formal Methods — https://www.myhuiban.com/conference/166
- ICC — International Conference on Communications — https://www.myhuiban.com/conference/318

## Related journals

- Knowledge-Based Systems — https://www.myhuiban.com/journal/227
- Future Generation Computer Systems — https://www.myhuiban.com/journal/36
- Neurocomputing — https://www.myhuiban.com/journal/234
- Pattern Recognition Letters — https://www.myhuiban.com/journal/236
- IEEE Transactions on Industrial Informatics — https://www.myhuiban.com/journal/575

---
Source: Conference Partner — https://www.myhuiban.com/conference/228 (rankings reproduced from CCF / ICORE / QUALIS; data cached up to 1 hour)