Conference Information
ICFEM 2026: International Conference on Formal Engineering Methods
Embed deadline badge
Get this via API
Get notified when the next edition opens
This edition is over. Create a free account and we will email you as soon as the next call for papers is published.
Based on the previous edition, the next deadline is estimated around 2027-06.
Conference Partner Index (CP-I)
| Academic recognition (35%) |
|
78 |
| Submission selectivity (20%) |
|
70 |
| Editions held (20%) |
|
90 |
| Community attention (10%) |
|
57 |
| Public record completeness (15%) |
|
65 |
Inputs used: Listed as CCF C, ICORE C, QUALIS B1 · Acceptance rate: 36.6% (mean of 5 editions on file) · Editions on record: 27 · Researchers following it here: 35 · Researchers who opened this page in the past 24 months: 19
Missing from the public record:
Past editions (+3.0) · Best-paper records (+2.3)
Organizers can add these from this page after claiming the conference; scores are recomputed nightly. How to raise this score
Confidence 100% - the share of the score backed by observed data rather than the neutral baseline. How this score is calculated · Browse the ranking · Algorithm version 1.2 · Computed 2026-11-13
Researchers at these institutions track this conference
East China Normal University
Beihang UniversityBased on the institution researchers enter on their own profiles. We do not verify it.
Call For Papers
ICFEM 2026 (International Conference on Formal Engineering Methods) is a CCF C / ICORE C / QUALIS B1 conference held in Southampton, UK on 2026-11-17. The paper submission deadline is 2026-06-01. Acceptance notifications are sent on 2026-08-08.
Acceptance Ratio
Average acceptance rate: 39.2% over 7 years (2002–2009).
| Year | Submitted | Accepted | Accepted(%) |
|---|---|---|---|
| 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% |
Related Conferences
| CCF | ICORE | CP-I | Short | Full Name | Submission | Conference |
|---|---|---|---|---|---|---|
| B | 70.5 | SEFM | International Conference on Software Engineering and Formal Methods | 2022-06-20 | 2022-09-28 | |
| 52.6 | FormaliSE | International Conference on Formal Methods in Software Engineering | 2026-10-30 | 2027-04-26 | ||
| 42.1 | SOFTFM | International Conference on Software Engineering Advances and Formal Methods | 2022-09-24 | 2022-10-22 | ||
| A | B | 84.9 | FM | International Symposium on Formal Methods | 2025-11-25 | 2026-05-18 |
| C | 87.6 | ICC | International Conference on Communications | 2026-10-02 | 2027-05-30 | |
| C | B | 63.1 | IJCNN | International Joint Conference on Neural Networks | 2027-01-31 | 2027-06-14 |
| C | B | 65.9 | TrustCom | International Conference on Trust, Security and Privacy in Computing and Communications | 2025-08-01 | 2025-11-14 |
| C | B | 79.9 | ICONIP | International Conference on Neural Information Processing | 2026-05-10 | 2026-11-23 |
| C | C | 80.9 | HPCC | International Conference on High Performance Computing and Communications | 2026-07-15 | 2026-10-29 |
| C | A | 88.0 | GECCO | Genetic and Evolutionary Computation Conference | 2027-01-18 | 2027-07-12 |
Related Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| C | Knowledge-Based Systems | 7.2 | Elsevier | 0950-7051 |
| C | Future Generation Computer Systems | 5.9 | Elsevier | 0167-739X |
| C | Neurocomputing | 6.5 | Elsevier | 0925-2312 |
| C | Pattern Recognition Letters | 3.5 | Elsevier | 0167-8655 |
| C | IEEE Transactions on Industrial Informatics | 11.7 | IEEE | 1551-3203 |
| C | IEEE Internet of Things Journal | 8.9 | IEEE | 2327-4662 |
| C | Engineering Applications of Artificial Intelligence | 9.0 | Elsevier | 0952-1976 |
| C | Expert Systems with Applications | 7.5 | Elsevier | 0957-4174 |
| C | IEEE Transactions on Big Data | 5.7 | IEEE | 2332-7790 |
| C | Computer Communications | 4.3 | Elsevier | 0140-3664 |
No comments yet.