Conference Information
ICFEM 2025: International Conference on Formal Engineering Methods
https://icfem2025.github.io/Submission Date: |
2025-05-25 |
Notification Date: |
2025-08-01 |
Conference Date: |
2025-11-10 |
Location: |
Hangzhou, China |
Years: |
26 |
CCF: c QUALIS: b1 Viewed: 37766 Tracked: 35 Attend: 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
Last updated by Dou Sun in 2025-05-01
Acceptance Ratio
| 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
| Short | Full Name | Conference |
|---|---|---|
| ICCSP' | IEEE International Conference on Communication and Signal Processing | 2020-03-28 |
| PEECT | Asia Conference on Power, Energy Engineering and Computer Technology | 2024-11-06 |
| SP | International Conference on Signal Processing | 2023-09-23 |
| EWCN | International Conference on Emerging Wireless Communications and Networking | 2015-04-06 |
| IEEE SSE | IEEE International Conference on Software Services Engineering | 2024-07-07 |
| WABI | Workshop on Algorithms in Bioinformatics | 2020-09-07 |
| MSIE | International Conference on Management Science and Industrial Engineering | 2024-04-24 |
| CIIEM | International Congress of Energy and Environment Engineering and Management | 2017-07-17 |
| FM | International Symposium on Formal Methods | 2024-09-09 |
| VANET | International Workshop on VehiculAr Inter-NETworking, Systems, and Applications | 2012-06-25 |
Related Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| b | Briefings in Bioinformatics | 7.7 | Oxford University Press | 1477-4054 |
| International Journal of Reconfigurable Computing | 3.000 | Hindawi | 1687-7195 | |
| Journal of Documentation | 1.700 | Emerald | 0022-0418 | |
| Computer Science & Engineering: An International Journal | AIRCC | 2231-3583 | ||
| Applied Soft Computing | 6.6 | Elsevier | 1568-4946 | |
| Foundations and Trends in Machine Learning | Now Publishers Inc. | 1935-8237 | ||
| Journal of Computational Electronics | 2.200 | Springer | 1569-8025 | |
| International Journal of Pattern Recognition & Artificial Intelligence | World Scientific | 0218-0014 | ||
| a | Journal of Cryptology | 2.300 | Springer | 0933-2790 |
| Information Technology and Management | 2.300 | Springer | 1385-951X |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| Briefings in Bioinformatics | 7.7 | Oxford University Press |
| International Journal of Reconfigurable Computing | 3.000 | Hindawi |
| Journal of Documentation | 1.700 | Emerald |
| Computer Science & Engineering: An International Journal | AIRCC | |
| Applied Soft Computing | 6.6 | Elsevier |
| Foundations and Trends in Machine Learning | Now Publishers Inc. | |
| Journal of Computational Electronics | 2.200 | Springer |
| International Journal of Pattern Recognition & Artificial Intelligence | World Scientific | |
| Journal of Cryptology | 2.300 | Springer |
| Information Technology and Management | 2.300 | Springer |