B
FM
International Symposium on Formal Methods (was Formal Methods Europe FME)Quick take: Established international conference with solid peer-review standards.Recent acceptance rate: 24.72% (2024).
24.72%
acceptance (2024)
44
papers accepted (2024)
178
submissions (2024)
⏰
2026 Submission Deadline — Optional abstract registration
AoE timezone
Deadline Passed
Paper SubmissionDec 3, 2025, 11:59 AM2025-12-02 23:59 (AOE)
Abstract RegistrationNov 26, 2025, 11:59 AMMandatory prior to paper submission
Conference Dates & LocationMay 20-22, 2026Tokyo, Japan
Acceptance-rate trend
Data: lixin4ever/Conference-Acceptance-RatePapers per year
Rank history (CORE → ICORE)
A* Flagship · A Premier · B Established · C RecognizedYear-by-year detail
| Year | Submitted | Accepted | Rate | Tiers | Location |
|---|---|---|---|---|---|
| 2024 | 178 | 44 | 24.72% | — | |
| 2023 | 95 | 28 | 29.47% | — | |
| 2021 | 131 | 35 | 26.72% | — |