FMCAD
B
| FMCAD | |
|---|---|
Formal Methods in Computer-Aided Design
| |
Categories: Software Engineering
| |
| DblpSeries: | fmcad |
| CORE Rank (2026): | B |
| CORE Rank (2023): | B |
| CORE Rank (2021): | B |
| CORE Rank (2020): | Unranked |
| CORE Rank (2018): | Unranked |
| Avg. acceptance rate: | 57.1 |
| Avg. acceptance rate (last 5 years): | 46.3 |
| Table of Contents | |
Formal Methods in Computer-Aided Design (FMCAD) has an average acceptance rate of 57.1% (last 5 years 46.3%).
Events
The following events of the series FMCAD are currently known in this wiki:
| Ordinal | From | To | City | State | Country | General chair | PC chair | Submitted papers | Accepted papers | Acceptance rate | Attendees | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| FMCAD 2026 | 26 | Sep 14 | Sep 18 | Graz | Graz | Austria | Bruno Dutertre | |||||
| FMCAD 2025 | 25 | Oct 6 | Oct 10 | Edison | Edison | USA | Daniela Kaufmann; Ahmed Irfan | Daniela Kaufmann; Ahmed Irfan | 30 | 30 | 100.0 | |
| FMCAD 2024 | 24 | Oct 14 | Oct 18 | Prague | Prague | Czechia | Nina Narodytska and Philipp Rümmer | 143 | 31 | 21.7 | ||
| FMCAD 2023 | 23 | Oct 23 | Oct 27 | Ames | Ames | USA | Kristin Y. Rozier; Alexander Nadel | 75 | 18 | 24.0 | ||
| FMCAD 2022 | 22 | Oct 17 | Oct 21 | Trento | Trento | Italy | Alberto Griggio | Alberto Griggio; Neha Rungta | 53 | 21 | 39.6 | |
| FMCAD 2021 | 21 | Oct 19 | Oct 22 | New Haven | New Haven | USA | Ruzica Piskac; Michael Whalen | Ruzica Piskac; Michael Whalen | 19 | 19 | 100.0 | |
| FMCAD 2008 | Nov 17 | Nov 20 | Portland | Portland | USA |
Number of Submitted and Accepted Papers (Main Track)
Acceptance rate
Locations