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 SAR, China
- Submissions close
- 22 May 2026
- 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. Papers due 21 May 2026, 23:59 AoE; abstracts first, by 19 May 2026, 23:59 AoE. Ranked CCF C, CORE B. 35.6% of papers accepted in 2025 (21 of 59). Held December 1-4, 2026 in Hong Kong SAR, China.
Last checked 9 October 2026. Found via CCF Deadlines.