TACAS

International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Editions listed13 Covered2015–2027 Rank nowCORE A

Editions

Year	Ed.	Held	Where	Paper deadline	Accepted	Rate
2027 open	33	10–15 Apr 2027	Copenhagen 🇩🇰	15 Oct firm	—	—
2026	32	11–16 Apr 2026	Turin 🇮🇹	16 Oct firm	56 / 177	32%
2025	31	3–8 May 2025	Hamilton 🇨🇦	10 Oct	—	—
2024	30	8–11 Apr 2024	Luxembourg City 🇱🇺	12 Oct	—	—
2023	29	22–27 Apr 2023	Paris 🇫🇷	13 Oct	—	—
2022	28	2–7 Apr 2022	Munich 🇩🇪	14 Oct	—	—
2021	27	27 Mar – 1 Apr 2021	Online	15 Oct	—	—
2020	26	25 Apr – 1 May 2020	Dublin 🇮🇪	24 Oct	—	—
2019	25	8–11 Apr 2019	Prag 🇨🇿	16 Nov	—	—
2018	24	14–21 Apr 2018	Thessaloniki 🇬🇷	20 Oct	—	—
2017	23	22–29 Apr 2017	Uppsala 🇸🇪	21 Oct	—	—
2016	22	2–8 Apr 2016	Eindhoven 🇳🇱	16 Oct	—	—
2015	21	11–18 Apr 2015	London 🏴󠁧󠁢󠁥󠁮󠁧󠁿	17 Oct	—	—

A missing year does not mean the conference did not meet: coverage before 2015 has not been verified.

Acceptance rate over time

0%30%60%

2026 32% 56/177

Scale runs to 60%; the mid-line marks 30%. No figure published for 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024, 2025, 2027.

CORE rank over time

A 2008–

Ranked since the first CORE round.

Deadline habits

Extended: 0 of 2 editions (2 confirmed firm)
Not known: 11 editions

An edition counts as firm only when it was checked; a deadline with no earlier date recorded is counted as not known, not as firm.

Elsewhere

DBLP: tacas ↗
CORE: portal entry 1818 ↗
Calendar: Subscribe to TACAS
Data: All editions as JSON

Notes carried over

Acceptance: In 2003: 25% (35/140) for research papers, 30% (6/20) for tool demos, 27% for all full papers. In 2004: 26% (37/145) for research papers, 35% (6/17) for tool demos, 27% for all full papers. In 2014: 22% (26/117) for research papers, 27% (3/11) for case studies, 33% (6/18) for tools, 47% (7/15) for tool demos, 24% for all full papers. In 2015: 27% (45/164), 26% for research papers (27/105). In 2019: 30% (50/164): 29 research papers, 2 case study papers, 11 regular tool papers, and 8 tool demo papers. In 2021: 33% (41 research+6 tool/141).

Kept verbatim from the old site while it is being turned into structured data.

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the call for papers and/or the Web sites and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers might then move deadlines without telling anyone, which may lead to inconsistencies. So, treat this small page as a well-meaning notebook rather than an authority 🤓