ICFEM 2024: The 25th International Conference on Formal Engineering Methods International Conference Center Hiroshima, Japan, December 2-6, 2024 |
| Conference website | https://icfem2024.info |
| Submission link | https://easychair.org/conferences/?conf=icfem2024 |
| Submission deadline | June 24, 2024 |
Call for Papers
The 25th International Conference on Formal Engineering Methods (ICFEM 2024)
Hiroshima, Japan 2 ~ 6 December 2024
Conference HP: https://icfem2024.info
Background and Objectives:
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：
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
Formal approaches to security-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
Submission and Publication
Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. Papers should be written in English. Regular papers should not exceed 18 pages and short papers should not exceed 12 pages in Springer LNCS format. In addition to paper submissions, we will also organize several tracks, including Doctoral Symposium, Industrial Applications, and Journal-First Presentations. All the details are available in the ICFEM 2024 homepage.
Cooperations
Pending
Important Dates：
Full Paper Submissions:
24 June 2024
Acceptance / Rejection Notification:
9 September 2024
Camera-ready Papers:
27 September 2024
Workshop/Tutorial Proposals:
5 July 2024
Conference Organizers
General Chair
Shaoying Liu Hiroshima University, Japan
Program Chairs
Kazuhiro Ogata JAIST, Japan
Meng Sun Peking University, China
Dominique Méry LORIA, Telecom Nancy, University of Lorraine, France
Finance Chair Fumiko Nagoya Nihon University, Japan
Publicity Chair Yuting Chen Shanghai Jiaotong University, China
Track-Organizing Chair Weikai Miao East China Normal University, China
Workshop/Tutorial Chair Wuwei Shen Western Michigan University, USA
Web Chair Yuxiang Shang Hiroshima University, Japan