All conferences / VSTTE
VSTTE
International Conference on Verified Software: Theories, Tools and Experiments
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.