Categories |
SOFTWARE ENGINEERING
FORMAL METHODS
|
Call for Papers |
|
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.
|
Summary |
|
ICFEM 2024 : International Conference on Formal Engineering Methods will take place in Hiroshima , Japan. It’s a 5 days event starting on Dec 2, 2024 (Monday) and will be winded up on Dec 6, 2024 (Friday). ICFEM 2024 falls under the following areas: SOFTWARE ENGINEERING, FORMAL METHODS, etc. Submissions for this Conference can be made by Jun 24, 2024. Authors can expect the result of submission by Sep 9, 2024. Upon acceptance, authors should submit the final version of the manuscript on or before Sep 27, 2024 to the official website of the Conference. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the ICFEM 2024
|
Credits and Sources |
| [1] ICFEM 2024 : International Conference on Formal Engineering Methods |
