posted by user: fumiko758 || 1548 views || tracked by 5 users: [display]

ICFEM 2024 : International Conference on Formal Engineering Methods


Conference Series : International Conference on Formal Engineering Methods
When Dec 2, 2024 - Dec 6, 2024
Where Hiroshima , Japan
Submission Deadline Jun 24, 2024
Notification Due Sep 9, 2024
Final Version Due Sep 27, 2024
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.

Related Resources

Ei/Scopus-AACIP 2024   2024 2nd Asia Conference on Algorithms, Computing and Image Processing (AACIP 2024)-EI Compendex
SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
ITCCMA 2024   11th International Conference on Information Technology, Control, Chaos, Modeling and Applications
VLSIE 2024   5th International Conference on VLSI & Embedded Systems
IEA/AIE 2025   The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
SBMF 2024   27th Brazilian Symposium on Formal Methods
ACM MLMI 2024   ACM--2024 The 7th International Conference on Machine Learning and Machine Intelligence (MLMI 2024)
7FMA 2024   7th International Symposium Formal Methods in Architecture
CSL 2025   Computer Science Logic
CSIT 2024   11th International Conference on Computer Science and Information Technology