[ AI | CHI | DM | GM | NET | NEW | SE | SW | SYS | TH ]

OpenAccept.org

International Symposium on Formal Methods (FM)

Topic: SW Tier: A Conf. website DBLP

Historical Statistics [Main Research Track]

year # submitted # accepted acc. 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%

Trend Insights [Main Research Track]

Historical Statistics [Long Tool Paper Track]

year # submitted # accepted acc. rate
2024 21 8 38.10%
2023 8 5 62.50%

Trend Insights [Long Tool Paper Track]