会議情報
ICFEM 2025: International Conference on Formal Engineering Methods
https://icfem2025.github.io/提出日: |
2025-05-25 |
通知日: |
2025-08-01 |
会議日: |
2025-11-10 |
場所: |
Hangzhou, China |
年: |
26 |
CCF: c QUALIS: b1 閲覧: 37787 追跡: 35 出席: 6
論文募集
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
最終更新 Dou Sun 2025-05-01
合格率
| 時間 | 提出 | 受け入れ | 受け入れ(%) |
|---|---|---|---|
| 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% |
関連会議
| 省略名 | 完全な名前 | 会議日 |
|---|---|---|
| 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 |
関連仕訳帳
| CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | 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 |
| 完全な名前 | インパクト ・ ファクター | 出版社 |
|---|---|---|
| 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 |