All conferences / HCVS
HCVS
Workshop on Horn Clauses for Verification and Synthesis
Editions
| Year | Ed. | Held | Where | Paper deadline | Accepted | Rate |
|---|---|---|---|---|---|---|
| 2025 | 12 | 22 Jul 2025 | Zagreb ๐ญ๐ท | 30 May +14 days | — | — |
| 2024 | 11 | 7 Apr 2024 | Luxembourg ๐ฑ๐บ | 2 Feb | — | — |
| 2023 — not recorded here, which does not mean the conference did not meet | ||||||
| 2022 | 9 | 3 Apr 2022 | Online | 31 Jan | — | — |
| 2021 | 8 | 27 Mar 2021 | Online | 28 Jan | — | — |
| 2020 | 7 | 26 Apr 2020 | Online | 26 Feb | — | — |
| 2019 — not recorded here, which does not mean the conference did not meet | ||||||
| 2018 | 5 | 13 Jul 2018 | Oxford ๐ด๓ ง๓ ข๓ ฅ๓ ฎ๓ ง๓ ฟ | 15 Apr | — | — |
| 2017 | 4 | 7 Aug 2017 | Gothenburg ๐ธ๐ช | 18 Jun +7 days | — | — |
| 2016 | 3 | 3 Apr 2016 | Eindhoven ๐ณ๐ฑ | 5 Feb +4 days | — | — |
| 2015 | 2 | 19 Jul 2015 | San Francisco ๐บ๐ธ | 22 May | — | — |
A missing year does not mean the conference did not meet: coverage before 2015 has not been verified.