ACV--Workshop on Abstract and Concrete Techniques in Verification

Editions

• ACV 2026 in Lisbon, Portugal, at FLoC 2026, affiliated with LICS 2026 and CAV 2026