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.
How it has reviewed and published
| Practice | 15 | 16 | 17 | 18 | 20 | 21 | 22 | 24 | 25 |
|---|---|---|---|---|---|---|---|---|---|
| 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 ↗