About ATVA
ATVA 2026 is the International Symposium on Automated Technology for Verification and Analysis, a well-regarded (B-ranked) software engineering symposium. It takes place on 1 December 2026 in Hong Kong SAR, China. Full papers were due 21 May 2026, with abstracts by 19 May 2026.
Important dates
- Abstract registration
- Paper submission
- Conference beginsNext
Before you submit
- Read the full call for papers — page limits, template (IEEE, ACM, LNCS …) and whether review is double-blind.
- Deadlines are usually 23:59 AoE — convert to Bangladesh time (UTC+6) and aim to submit a day early.
- At least one author normally has to register and present; budget for the fee and, for in-person events, a visa appointment well before the conference.
- Look for student travel grants and volunteer programmes — most large conferences run both, with deadlines soon after notification.
Other editions
- ATVA 202527–31 Oct 2025 · Bengaluru, India