1月12日 - 2026年1月12日
International Symposium on Automated Technology for Verification and Analysis
暂无关注者。
概览
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.
会议日期
Conference Date
2026年1月12日
- 2026年12月1日
- 2025年10月27日 - 2025年10月31日
投稿
Paper submission
新2026年4月30日
通知
Notification date
新2026年5月6日
终稿
Camera-ready
新2026年10月9日
其他日期
Author response period
2025年6月17日 → 2025年6月20日
Tutorials and Workshops
2025年10月27日
来源排名
来源: CORE2023
排名: B
研究领域: Software engineering