会議情報
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
合格率
時間提出受け入れ受け入れ(%)
20091213629.8%
2007381950%
20061083835.2%
2005743040.5%
20041103027.3%
2003913437.4%
20021085954.6%
関連会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
VANETInternational Workshop on VehiculAr Inter-NETworking, Systems, and Applications 2012-04-162012-06-25
ab1FMInternational Symposium on Formal Methods2024-04-052024-06-032024-09-09
CIIEMInternational Congress of Energy and Environment Engineering and Management2017-03-312017-04-302017-07-17
BDEInternational Conference on Big Data Engineering2022-02-102022-02-282022-05-26
bb1WABIWorkshop on Algorithms in Bioinformatics2020-05-182020-06-292020-09-07
MASS''IEEE International Conference on Mobile Ad-Hoc and Smart Systems2024-04-082024-06-242024-09-23
EWCNInternational Conference on Emerging Wireless Communications and Networking2014-12-152015-02-152015-04-06
MLPRISInternational Conference on Machine Learning, Pattern Recognition and Intelligent Systems2025-01-06 2025-07-18
SGSESAsia Conference on Smart Grids and Sustainable Energy Systems2024-10-182024-10-252024-11-06
EICCEuropean Interdisciplinary Cybersecurity Conference2024-01-262024-03-012024-06-05
関連仕訳帳
おすすめ