Metrics
- CORE rank
- B CORE / ICORE
- Editions tracked
- 10
- Running since
- 2010
About IFM
- Full name
- Integrated Formal Methods
- Subfields
- Software Engineering, Theory
- Field of research
- Software engineering (FoR 4612)
- Latest edition
- Paris, France, 2025
DeadlinesSubmission dates change every year. Find the current call for papers on WikiCFP or the conference site, and check the time zone (most use Anywhere on Earth, UTC-12).
Similar conferences
- BCORE
ICPEACM/SPEC International Conference on Performance Engineering
h5-index 41 - BCORE
CITBComplexity and information-theoretic approaches to biology
- BCORE
ARESInternational Conference on Availability, Reliability and Security
- BCORE
CAINInternational Conference on AI Engineering – Software Engineering for AI
- BCORE
CDIFIP/ACM Working Conference on Component Deployment
- BCORE
CANSInternational Conference on Cryptology and Network Security
Figures as of the last import; ranks are a guide, not a verdict. Back to all conferences