Conference · Workshop on Auto-active Verification
WAVE 2027
Official page- Type
- Conference
- Organisation
- Workshop on Auto-active Verification
- Location
- Mexico City, Mexico
- Submissions close
- 8 October 2026
- Takes place
- 10 January 2027
- Found
- 26 September 2026
About this listing
Workshop on Auto-active Verification. Submissions close 2026-10-08. Held in Mexico City, Mexico. 4th edition. Brings together developers and users of verification-aware languages and auto-active verifiers such as Dafny, SPARK, F*, Why3, Viper, and Whiley, covering SMT automation, industry-scale verification, AI for verification, and verification in teaching. Held with POPL 2027. Topics: verification, formal methods, theorem proving, programming languages. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 9 October 2026. Found via PLFM (pl-fm.github.io).