All conferences / ACV
ACV
First Workshop on Abstract and Concrete Techniques in Verification
Editions
| Year | Ed. | Held | Where | Paper deadline | Accepted | Rate |
|---|---|---|---|---|---|---|
| 2026 | 1 | 24–25 Jul 2026 | Lisbon 🇵🇹 | 20 May +14 days | — | — |
A missing year does not mean the conference did not meet: coverage before 2026 has not been verified.