ATVA 2025
已结束October 27-31, 2025·Bengaluru, India
International Symposium on Automated Technology for Verification and Analysis
CCF CCORE BTH-CPL B软件工程/系统软件/程序设计语言
已截止
截止: 2025-04-25 23:59:59 AoE
当前届 / 最近一届
截止日期漂移
横轴为年份，纵轴为截止日在一年中的位置；点越平说明每年越准时。
—
录用率趋势
来源见表格链接；同年多轮合并统计。
暂无录用率数据。
历届截止
每届取最后一轮正式截止；有多轮或摘要截止的在备注列标出。
| 年份 | 截止（原时区） | 会期 | 地点 | 备注 | 状态 |
|---|---|---|---|---|---|
| 2025 | 2025-04-25 23:59:59 AoE | October 27-31, 2025 | Bengaluru, India | — | 已结束 |
举办地历史
- 2025Bengaluru, India · October 27-31, 2025