December 01 - December 01, 2026
International Symposium on Automated Technology for Verification and Analysis
No followers yet.
Overview
ATVA 2026 website (researchr track). The 24th International Symposium on Automated Technology for Verification and Analysis, co-located with APLAS 2026. Main conference December 1–5, 2026. Important dates (2026, AoE): abstract and paper submission April 30; tool paper artifact May 7; early-rejection notification mid May; author response June 8–11; paper notification June 25; camera-ready September 10. Submissions via HotCRP (atva26.hotcrp.com). LNCS format; regular papers double-blind, tool papers single-blind; optional artifact for regular, mandatory for tool papers. Spotlights of Verification co-located (abstract deadline TBA). Venue TBD.
Call for papers
ATVA 2026 website (researchr track). The 24th International Symposium on Automated Technology for Verification and Analysis, co-located with APLAS 2026. Main conference December 1–5, 2026. Important dates (2026, AoE): abstract and paper submission April 30; tool paper artifact May 7; early-rejection notification mid May; author response June 8–11; paper notification June 25; camera-ready September 10. Submissions via HotCRP (atva26.hotcrp.com). LNCS format; regular papers double-blind, tool papers single-blind; optional artifact for regular, mandatory for tool papers. Spotlights of Verification co-located (abstract deadline TBA). Venue TBD.
Important Dates
Conference Dates
Conference Date
December 1, 2026
- October 27, 2025 - October 31, 2025
Source Rank
Source: CORE2023
Rank: B
Field of Research: Software engineering