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

ICFEM 2024 : International Conference on Formal Engineering Methods

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Formal Engineering Methods
 
Link: https://icfem2024.info/
 
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

ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
ICMLT 2025   2025 10th International Conference on Machine Learning Technologies (ICMLT 2025)
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
AISCA 2025   International Conference on Artificial Intelligence, Soft Computing And Applications
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering
ICMLSC 2025   2025 The 9th International Conference on Machine Learning and Soft Computing (ICMLSC 2025)
SIMULTECH 2025   15th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
CAV 2025   37th International Conference on Computer Aided Verification
IEA/AIE 2025   The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems