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 firm | 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.
Submissions
Scaled to this conference's own busiest year (24), so the shape is comparable across its editions but not between conferences.
How it has reviewed and published
| Practice | 17 | 18 | 19 | 20 | 22 | 23 | 24 | 25 | 26 |
|---|---|---|---|---|---|---|---|---|---|
| Proceedings | • | • | • | • | • | • | • | • | • |
A blank cell means nobody has checked that year, not that the answer is no. Licences are read as recorded on the edition, never inherited from the publisher.
Spotted something wrong on this page? Tell us, with a source if you have one ↗