会議情報
ICFEM 2024: International Conference on Formal Engineering Methods
https://icfem2024.info/提出日: |
2024-06-24 |
通知日: |
2024-09-09 |
会議日: |
2024-12-02 |
場所: |
Hiroshima, Japan |
年: |
25 |
CCF: c QUALIS: b1 閲覧: 31668 追跡: 33 出席: 5
論文募集
Since it was started in Hiroshima, Japan in 1997, ICFEM has provided a forum for both researchers and practitioners to discuss and exchange their experience and results in research on theories, methods, languages, and supporting tools for integrating formal methods into conventional software engineering technologies to provide more effective and efficient approaches to large-scale software engineering. The goal of this conference is to bring together industrial, academic, and government experts in both formal methods and software engineering to help advance the state of the art. At its first return to Hiroshima since 1997, ICFEM 2024 will celebrate the 25th anniversary of the ICFEM conference series. Researchers, practitioners, tool developers, and users are all welcome to submit papers and participate in the conference. We look forward to your contributions and participation. Scope and Topics Authors are invited to submit high quality technical papers describing original and unpublished work in all aspects of formal engineering methods for software development and maintenance. 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 AI Systems Formal methods for Cyber-physical systems and IoT Formal certification of products Industrial case studies
最終更新 Dou Sun 2024-03-24
合格率
時間 | 提出 | 受け入れ | 受け入れ(%) |
---|---|---|---|
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% |
関連会議
CCF | CORE | QUALIS | 省略名 | 完全な名前 | 提出日 | 通知日 | 会議日 |
---|---|---|---|---|---|---|---|
VANET | International Workshop on VehiculAr Inter-NETworking, Systems, and Applications | 2012-04-16 | 2012-06-25 | ||||
a | b1 | FM | International Symposium on Formal Methods | 2024-04-05 | 2024-06-03 | 2024-09-09 | |
CIIEM | International Congress of Energy and Environment Engineering and Management | 2017-03-31 | 2017-04-30 | 2017-07-17 | |||
BDE | International Conference on Big Data Engineering | 2022-02-10 | 2022-02-28 | 2022-05-26 | |||
b | b1 | WABI | Workshop on Algorithms in Bioinformatics | 2020-05-18 | 2020-06-29 | 2020-09-07 | |
MASS'' | IEEE International Conference on Mobile Ad-Hoc and Smart Systems | 2024-04-08 | 2024-06-24 | 2024-09-23 | |||
EWCN | International Conference on Emerging Wireless Communications and Networking | 2014-12-15 | 2015-02-15 | 2015-04-06 | |||
MLPRIS | International Conference on Machine Learning, Pattern Recognition and Intelligent Systems | 2025-01-06 | 2025-07-18 | ||||
SGSES | Asia Conference on Smart Grids and Sustainable Energy Systems | 2024-10-18 | 2024-10-25 | 2024-11-06 | |||
EICC | European Interdisciplinary Cybersecurity Conference | 2024-01-26 | 2024-03-01 | 2024-06-05 |
省略名 | 完全な名前 | 提出日 | 会議日 |
---|---|---|---|
VANET | International Workshop on VehiculAr Inter-NETworking, Systems, and Applications | 2012-06-25 | |
FM | International Symposium on Formal Methods | 2024-04-05 | 2024-09-09 |
CIIEM | International Congress of Energy and Environment Engineering and Management | 2017-03-31 | 2017-07-17 |
BDE | International Conference on Big Data Engineering | 2022-02-10 | 2022-05-26 |
WABI | Workshop on Algorithms in Bioinformatics | 2020-05-18 | 2020-09-07 |
MASS'' | IEEE International Conference on Mobile Ad-Hoc and Smart Systems | 2024-04-08 | 2024-09-23 |
EWCN | International Conference on Emerging Wireless Communications and Networking | 2014-12-15 | 2015-04-06 |
MLPRIS | International Conference on Machine Learning, Pattern Recognition and Intelligent Systems | 2025-01-06 | 2025-07-18 |
SGSES | Asia Conference on Smart Grids and Sustainable Energy Systems | 2024-10-18 | 2024-11-06 |
EICC | European Interdisciplinary Cybersecurity Conference | 2024-01-26 | 2024-06-05 |
関連仕訳帳
CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
---|---|---|---|---|
International Journal of Trend in Scientific Research and Development | 8.100 | IJTSRD | 2456-6470 | |
Journal of Computer Networks and Communications | 2.000 | Hindawi | 2090-7141 | |
Industrial Robot | 1.900 | Emerald | 0143-991X | |
Computer Science & Engineering: An International Journal | AIRCC | 2231-3583 | ||
Applied Soft Computing | 7.200 | Elsevier | 1568-4946 | |
International Journal of Information Management | 20.10 | Elsevier | 0268-4012 | |
Journal of Computational Neuroscience | 1.500 | Springer | 0929-5313 | |
International Journal of Pattern Recognition & Artificial Intelligence | World Scientific | 0218-0014 | ||
c | Information Processing Letters | 0.700 | Elsevier | 0020-0190 |
a | Journal of Cryptology | 2.300 | Springer | 0933-2790 |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
International Journal of Trend in Scientific Research and Development | 8.100 | IJTSRD |
Journal of Computer Networks and Communications | 2.000 | Hindawi |
Industrial Robot | 1.900 | Emerald |
Computer Science & Engineering: An International Journal | AIRCC | |
Applied Soft Computing | 7.200 | Elsevier |
International Journal of Information Management | 20.10 | Elsevier |
Journal of Computational Neuroscience | 1.500 | Springer |
International Journal of Pattern Recognition & Artificial Intelligence | World Scientific | |
Information Processing Letters | 0.700 | Elsevier |
Journal of Cryptology | 2.300 | Springer |
おすすめ