12 de enero - 12 de enero de 2026
International Symposium on Automated Technology for Verification and Analysis
Aún no hay seguidores.
Resumen General
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.
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.
Fechas del Congreso
Conference Date
12 de enero de 2026
- 1 de diciembre de 2026
- 27 de octubre de 2025 - 31 de octubre de 2025
Envío
Paper submission
NUEVO30 de abril de 2026
Notificación
Notification date
NUEVO6 de mayo de 2026
Versión Final
Camera-ready
NUEVO9 de octubre de 2026
Otras Fechas
Author response period
17 de junio de 2025 → 20 de junio de 2025
Tutorials and Workshops
27 de octubre de 2025
Clasificación de la Fuente
Fuente: CORE2023
Clasificación: B
Campo de Investigación: Software engineering