The 25th International Conference on Formal Engineering Methods (ICFEM 2024)
9 9 people viewed this event.
The 25th International Conference on Formal Engineering Methods (ICFEM 2024) will be held in Hiroshima, Japan on December 2-6, 2024.
All contributions related to formal specification and modeling, refinement and verification, practical formal methods and formal methods for ai systems are welcome.
Regular papers should not exceed 18 pages and short papers should not exceed 12 pages in Springer DBLP LNCS format.
The deadline for sending submissions is June 24, 2024