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