International Symposium on Formal Methods
International Symposium on Formal Methods
Latest edition: FM 2027
Official Portals
Prestige Metrics & Badges
CORE Ranking2026
A
Software engineering
CCF RankingChina CF
CCF ATier A
China Computer Federation
Google Scholar H5-IndexScholar
N/A
Top 5-year cited metric
Submission Deadlines & Live Countdown
FM 2027 • Athens Greece(18 – 22 Oct, 2027)
No active deadlines currently announced for the upcoming edition
Please check the official conference portal or DBLP for the latest Call for Papers announcements.
Complete Track Deadlines
| Track / Round | Format | Abstract Due | Paper Submission | Rebuttal Period | Notification Date | Camera-Ready Due | Time Remaining |
|---|---|---|---|---|---|---|---|
Main Track | conference | TBA | TBA | — | TBA | TBA | TBA |
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 | A | Year 2026 | Software engineering | Excellent conference (Top 15%–20% globally) |
| CCF Ranking | China Computer Federation (CCF) | Tier A | CCF 2022 Catalog | Computer Science | Top-tier international conference |
| TH-CPL | Tsinghua University | Class 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 |
| CCF | Academic Association | A | N/A | General | International prestige ranking |
| CORE | Academic Association | A | N/A | General | International prestige ranking |
| THCPL | Academic Association | B | N/A | General | International prestige ranking |
Conference Editions Timeline
Locations, dates, proceedings, and historical tracks of past & future editions
2027
FM 2027
UpcomingAthens, Greece
18 – 22 Oct, 2027
2025
International Workshop on Federated Foundation Models for the Web 2025
PastSydney, Australia
29 – 29 Apr, 2025
2023
FM 2023
UpcomingLübeck, Germany
7 – 9 Mar, 2023
2021
FM 2021
UpcomingBeijing, Virtual
22 – 26 Nov, 2021
2019
23rd International Symposium on Formal Methods – 3rd World Congress on Formal Methods
PastPorto, Portugal
7 – 11 Oct, 2019
2018
Formal Methods - Doctoral Symposium
PastOxford, Oxford
14 – 14 Jul, 2018
2016
21st International Symposium on Formal Methods
PastLimassol, Cyprus
7 – 11 Nov, 2016
2015
International Symposium on Formal Methods
PastOslo, Norway
22 – 26 Jun, 2015
2014
International Symposium on Formal Methods
PastSingapore
12 – 16 May, 2014
2013
10th International Workshop on Web Services and Formal Methods (WS-FM 2013): Formal Aspects of Service-Oriented and Cloud Computing
PastBeijing, China
29 – 29 Aug, 2013
2011
17th International Symposium on Formal Methods
PastLero, Ireland
20 – 24 Jun, 2011
2009
International Symposium on Formal Methods
PastEindhoven, Netherlands
2 – 6 Nov, 2009
Academic Resources & External Links
Access DBLP archives, Papers With Code, and official conference portals
DBLP Computer Science
Comprehensive open bibliographic database tracking full papers across editions.
dblp.org ↗
Papers With Code
Explore trending papers, open-source code repositories, and leaderboards.
paperswithcode.com ↗
CORE Ranking Portal
Official evaluation catalog from Computing Research and Education Association.
portal.core.edu.au ↗