The 20th International Conference on Integrated Formal Methods (iFM 2025) will be held in Paris, France.

Topics of interest include, but are not limited to:  Formal Methods

Submission deadline for conference contributions is Jun 06, 2025.