TACAS Acceptance Rate and Submission Statistics
International Conference on Tools and Algorithms for the Construction and Analysis of Systems is tracked by CS Conf Stats as a FMV conference. The dataset covers 31 events from 1995-2025.
TACAS 2025 accepted 28 papers out of 103 submissions, for an acceptance rate of 27.2%.
Latest Acceptance Rate
27.2%
2025: 28 accepted / 103 submitted
Years Covered
31
1995-2025
Discipline
FMV
Formal Methods, Model Checking, Verification Tools
Yearly Statistics
| Year | Location | Accepted | Submitted | Acceptance Rate | Second Track | Note |
|---|---|---|---|---|---|---|
| 2025 | Hamilton, Canada | 28 | 103 | 27.2% | 11 / 29 (37.9%) | |
| 2024 | Luxembourg City, Luxembourg | 35 | 114 | 30.7% | 11 / 28 (39.3%) | |
| 2023 | Paris, France | 45 | 119 | 37.8% | 11 / 34 (32.4%) | |
| 2022 | Munich, Germany | 33 | 112 | 29.5% | 12 / 33 (36.4%) | |
| 2021 | Online, Online | 32 | 90 | 35.6% | 7 / 29 (24.1%) | |
| 2020 | Online, Online | 31 | 111 | 27.9% | 5 / 19 (26.3%) | |
| 2019 | Prague, Czech Republic | 29 | 119 | 24.4% | 11 / 24 (45.8%) | |
| 2018 | Thessaloniki, Greece | 35 | 115 | 30.4% | 6 / 26 (23.1%) | |
| 2017 | Uppsala, Sweden | 48 | 167 | 28.7% | Research & Tool papers. | |
| 2016 | Eindhoven, The Netherlands | 44 | 157 | 28.0% | Research & Tool papers. | |
| 2015 | London, UK | 27 | 105 | 25.7% | 7 / 31 (22.6%) | |
| 2014 | Grenoble, France | 26 | 117 | 22.2% | 6 / 18 (33.3%) | |
| 2013 | Rome, Italy | 32 | 130 | 24.6% | 3 / 15 (20.0%) | |
| 2012 | Tallinn, Estonia | 25 | 108 | 23.1% | 3 / 11 (27.3%) | |
| 2011 | Saarbrucken, Germany | 22 | 80 | 27.5% | 10 / 24 (41.7%) | |
| 2010 | Paphos, Cyprus | 24 | 110 | 21.8% | 9 / 24 (37.5%) | |
| 2009 | York, UK | 27 | 109 | 24.8% | 8 / 22 (36.4%) | |
| 2008 | Budapest, Hungary | 31 | 121 | 25.6% | 7 / 19 (36.8%) | |
| 2007 | Braga, Portugal | 45 | 170 | 26.5% | 9 / 34 (26.5%) | |
| 2006 | Vienna, Austria | 30 | 118 | 25.4% | 4 / 9 (44.4%) | |
| 2005 | Edinburgh, Scotland, UK | 33 | 141 | 23.4% | 8 / 20 (40.0%) | |
| 2004 | Barcelona, Spain | 37 | 145 | 25.5% | 6 / 17 (35.3%) | |
| 2003 | Warsaw, Poland | 35 | 140 | 25.0% | 6 / 20 (30.0%) | |
| 2002 | Grenoble, France | 29 | 95 | 30.5% | 4 / 9 (44.4%) | |
| 2001 | Genoa, Italy | 36 | 125 | 28.8% | 3 / 9 (33.3%) | |
| 2000 | Berlin, Germany | 33 | 107 | 30.8% | ||
| 1999 | Amsterdam, The Netherlands | 28 | 82 | 34.1% | ||
| 1998 | Lisbon, Portugal | 27 | 78 | 34.6% | ||
| 1997 | Enschede, The Netherlands | 25 | 54 | 46.3% | ||
| 1996 | Passau, Germany | 19 | 47 | 40.4% | ||
| 1995 | Aarhus, Denmark | 12 | 32 | 37.5% | Though the proceedings have 12 papers, there is 23 papers presented. |
Conference Details
- Full Title
- International Conference on Tools and Algorithms for the Construction and Analysis of Systems
- Main Discipline
- Formal Methods, Model Checking, Verification Tools
- Other Topics
- Static Analysis, Program Verification, Theorem Proving, Runtime Verification, Software Model Checking
- Parent Organization
- TACAS Steering Committee
- Notes
- Wow! This conference has complete data! 🏆
More TACAS Pages
- TACAS 2025
- TACAS 2024
- TACAS 2023
- TACAS 2022
- TACAS 2021
- TACAS 2020
- TACAS 2019
- TACAS 2018
- TACAS 2017
- TACAS 2016
- TACAS 2015
- TACAS 2014
- TACAS 2013
- TACAS 2012
- TACAS 2011
- TACAS 2010
- TACAS 2009
- TACAS 2008
- TACAS 2007
- TACAS 2006
- TACAS 2005
- TACAS 2004
- TACAS 2003
- TACAS 2002
- TACAS 2001
- TACAS 2000
- TACAS 1999
- TACAS 1998
- TACAS 1997
- TACAS 1996
- TACAS 1995
Interactive chart: TACAS on the main CS Conf Stats chart.