VSTTE

International Conference on Verified Software: Theories, Tools and Experiments

Editions listed10 Covered2017–2026 Rank nowCORE absent

Editions

Year	Ed.	Held	Where	Paper deadline	Accepted	Rate
2026	18	14 Sep 2026	Graz 🇦🇹	24 Jul +7 days	—	—
2025	17	6–7 Oct 2025	Menlo Park 🇺🇸	18 Jul	6 / 15	40%
2024	16	14–15 Oct 2024	Prague 🇨🇿	27 Jul	6 / 6	100%
2023	15	23 Oct 2023	Ames 🇺🇸	4 Aug +7 days	6 / 13	46%
2022	14	17–18 Oct 2022	Trento 🇮🇹	29 Jul +7 days	—	—
2021	—		—	—	7 / 17	41%
2020	12	19–20 Jul 2020	Los Angeles 🇺🇸	20 Apr	9 / 14	64%
2019	11	18–19 Jul 2019	New York City 🇺🇸	29 Apr	9 / 17	53%
2018	10	18–19 Jul 2018	Oxford 🏴󠁧󠁢󠁥󠁮󠁧󠁿	29 Apr +7 days	19 / 24	79%
2017	9	19 Sep 2017	Heidelberg 🇩🇪	8 May +7 days	—	—

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

Acceptance rate over time

0%30%60%

2025 40% 6/15
2024 100% 6/6
2023 46% 6/13
2021 41% 7/17
2020 64% 9/14
2019 53% 9/17
2018 79% 19/24

Scale runs to 60%; the mid-line marks 30%. No figure published for 2017, 2022, 2026.

CORE rank over time

absent 2017–

Only the current rank is recorded; earlier rounds have not been checked.

Deadline habits

Extended: 5 of 5 editions
Typical: 7 days
Not known: 4 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: vstte ↗
Calendar: Subscribe to VSTTE
Data: All editions as JSON

Notes carried over

Acceptance: 79% (19/24) in 2018, 53% (9/17) in 2019, 64% (9/14) in 2020, 41% (7/17) in 2021, 46% (6/13) in 2023, 100% (6/6) in 2024, 40% (4+2 / 15) in 2025

Extensions: 1 week (2017, 2018, 2021, 2022, 2023, 2026). Firm in 2019.

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 announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.