ATVA
International Symposium on Automated Technology for Verification and Analysis
当前届 / 最近一届
ATVA 2026
December 1-4, 2026 · Hong Kong SAR, China
本届投稿已结束
投稿时间节点
- 摘要截止已截止
待核验查看依据
第 1 轮 · 摘要
暂无支持当前日期的节点证据，请核对官网。
- 全文截止已截止
待核验查看依据
第 1 轮 · 全文
暂无支持当前日期的节点证据，请核对官网。
第1 轮：本轮截止时间已到
其他信息
- 历史录用率
- 2025: 35.6%(21/59 25')（录用 21 / 投稿 59）
- 数据来源
- CCF Deadlines
原始截止日期与时区
时间组 1
摘要：2026-05-19 23:59:59 AoE
全文：2026-05-21 23:59:59 AoE
原始截止时区：AoE。延期与具体投稿要求请核对官网。
截止日期漂移
按原始截止日期统计，不随显示时区切换。横轴为年份，纵轴为日期在一年中的位置。
近 6 届截止集中在 5 月上旬，最早与最晚相差 26 天。
录用率趋势
来源见表格链接；同年多轮合并统计。
| 年份 | 投稿 | 录用 | 录用率 | 来源 |
|---|---|---|---|---|
| 2025 | 59 | 21 | 35.6%(21/59 25')统计口径未说明 | link.springer.com |
| 2024 | 73 | 24 | 32.9%(24/73 24')统计口径未说明 | link.springer.com |
| 2023 | 115 | 37 | 32.2%(37/115 23')统计口径未说明 | link.springer.com |
| 2022 | 81 | 26 | 32.1%(26/81 22')统计口径未说明 | link.springer.com |
| 2021 | 75 | 23 | 30.7%(23/75 21')统计口径未说明 | link.springer.com |
历届截止
每届取最后一轮正式截止；有多轮或摘要截止的在备注列标出。
| 年份 | 截止（原时区） | 会期 | 地点 | 备注 | 状态 |
|---|---|---|---|---|---|
| 2026 | 2026-05-22 11:59 UTC原始：2026-05-21 23:59:59 AoE | December 1-4, 2026 | Hong Kong SAR, China | 含摘要截止 | 已截止 |
| 2025 | 2025-04-26 11:59 UTC原始：2025-04-25 23:59:59 AoE | October 28-30, 2025 | Bengaluru, India | 含摘要截止 | 已截止 |
| 2024 | 2024-04-26 11:59 UTC原始：2024-04-25 23:59:59 AoE | October 22-24, 2024 | Kyoto, Japan | — | 已截止 |
| 2023 | 2023-05-12 11:59 UTC原始：2023-05-11 23:59:59 AoE | October 25-27, 2023 | Singapore | 含摘要截止 | 已截止 |
| 2022 | 2022-05-16 11:59 UTC原始：2022-05-15 23:59:59 AoE | October 26-28, 2022 | Virtual | 含摘要截止 | 已截止 |
| 2021 | 2021-04-27 11:59 UTC原始：2021-04-26 23:59:59 AoE | October 19-22, 2021 | Virtual | — | 已截止 |
举办地历史
- 2026Hong Kong SAR, China · December 1-4, 2026
- 2025Bengaluru, India · October 28-30, 2025
- 2024Kyoto, Japan · October 22-24, 2024
- 2023Singapore · October 25-27, 2023
- 2022Virtual · October 26-28, 2022
- 2021Virtual · October 19-22, 2021