Skip to main content
ALL
All research areas
AI
Artificial Intelligence
CHI
Computer-Human Interaction
DM
Database, Data Mining and Information Retrieval
GM
Computer Graphics and Multimedia
NET
Computer Networks
NEW
New and Interdisciplinary Fields
SEC
Cybersecurity and System Security
SW
Software Engineering and System Software
SYS
Computer Systems and Architecture
TH
Theory of Computing
中文
한국어
EN
OpenAccept
.org
Menu
Home
Contribute
About
Back
Home
/
Conferences
/
FM
International Symposium on Formal Methods
(FM)
Latest record
2024 · Main research track
Year
2024
Submitted
143
Accepted
31
Acceptance rate
21.68%
Main Track
Historical statistics
Year
Submitted
Accepted
Acceptance rate
2024
143
31
21.68%
2023
75
18
24.00%
2021
131
35
26.72%
2019
129
37
28.68%
2018
110
35
31.82%
2016
162
43
26.54%
2015
124
32
25.81%
2014
150
38
25.33%
Main research track
Submission and acceptance trend
Long Tool Paper Track
Historical statistics
Year
Submitted
Accepted
Acceptance rate
2024
21
8
38.10%
2023
8
5
62.50%
Long Tool Paper Track
Submission and acceptance trend
Share on
×
Bluesky
Facebook
LinkedIn
Reddit
X / Twitter
Copy page link