This event has concluded, but exciting conferences are happening worldwide — explore upcoming events in your field and stay ahead with the latest insights and networking opportunities. Subscribe to our newsletter.
The 25th International Conference on Formal Engineering Methods (ICFEM 2024)
262 262 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