What is the CORE and CCF ranking of IFM?

Integrated Formal Methods (IFM) is classified with CORE B rank in the research domains of Software Engineering, Theory.

When is the next submission deadline for IFM?

The upcoming submission deadline for IFM is scheduled for 2025-11-19 (Anywhere on Earth - AoE timezone). Authors should submit papers through the designated submission system prior to this cutoff.

When and where does the IFM conference take place?

The latest edition of IFM (2025) is scheduled from 2025-11-19 – 2025-11-21 in Paris, France.

Back to Conferences/IFM

IFMComputer Science#Software Engineering #Theory#CONF

Integrated Formal Methods

Indexed in CORE Rankings with rank B (ICORE2026).

Latest edition: Integrated FM & ABZ 2012 Call for workshops

Official Portals

Official Portal Google Scholar

CORE Ranking2026

Software engineering

CCF RankingChina CF

N/A

China Computer Federation

Google Scholar H5-IndexScholar

N/A

Top 5-year cited metric

Submission Deadlines & Live Countdown

Integrated FM & ABZ 2012 Call for workshops • Pisa Italy(18 – 22 Jun, 2012)

Official Website

Main Track

(conference)

Deadline: Oct 15, 2011

DEADLINE PASSED

Anywhere on Earth (UTC-12)

Submission Deadline Has Passed

Please check notifications or wait for the next conference edition.

Complete Track Deadlines

Track / Round	Format	Abstract Due	Paper Submission	Rebuttal Period	Notification Date	Camera-Ready Due	Time Remaining
Main Track	conference	TBA	Oct 15, 2011	—	TBA	TBA	Passed

Multi-Source Prestige Rankings

Comparative classification across international academic evaluation bodies

Ranking System	Evaluation Body	Classification	Edition / Year	Field / Scope	Prestige Significance
CORE Ranking	Computing Research and Education Association of Australasia	B	Year 2026	Software engineering	Good conference (Top 35%–40% globally)
CCF Ranking	China Computer Federation (CCF)	N/A	CCF 2022 Catalog	Computer Science	Important international conference
TH-CPL	Tsinghua University	N/A	TH-CPL List	CS & Engineering	Tsinghua Recommended Conference Publishing List
Qualis CAPES	CAPES (Brazilian Ministry of Education)	N/A	Sucupira / Qualis	Ciência da Computação	South American academic evaluation standard
CORE	Academic Association	B	ICORE2026	General	International prestige ranking

Conference Editions Timeline

Locations, dates, proceedings, and historical tracks of past & future editions

10 editions

2025

20th International Conference on Integrated Formal Methods

Past

Paris, France

19 – 21 Nov, 2025

Website CFP

2023