Conference · International Symposium on Automated Technology for Verification and Analysis
ATVA 2026
Official page- Type
- Conference
- Organisation
- International Symposium on Automated Technology for Verification and Analysis
- Location
- Hong Kong, China
- Takes place
- 1 December 2026 to 4 December 2026
- Found
- 26 September 2026
About this listing
International Symposium on Automated Technology for Verification and Analysis. Held in Hong Kong, China. Held with APLAS 2026. Topics: verification, formal methods, model checking. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 9 October 2026. Found via PLFM (pl-fm.github.io).