CADE 2025
已结束July 28-31, 2025·DHBW Stuttgart, Stuttgart, Germany
The Conference on Automated Deduction
CCF BCORE ATH-CPL B计算机科学理论
已截止
截止: 2025-02-24 23:59:59 AoE
当前届 / 最近一届
截止日期漂移
横轴为年份，纵轴为截止日在一年中的位置；点越平说明每年越准时。
—
录用率趋势
来源见表格链接；同年多轮合并统计。
暂无录用率数据。
历届截止
每届取最后一轮正式截止；有多轮或摘要截止的在备注列标出。
| 年份 | 截止（原时区） | 会期 | 地点 | 备注 | 状态 |
|---|---|---|---|---|---|
| 2025 | 2025-02-24 23:59:59 AoE | July 28-31, 2025 | DHBW Stuttgart, Stuttgart, Germany | 含摘要截止 | 已结束 |
举办地历史
- 2025DHBW Stuttgart, Stuttgart, Germany · July 28-31, 2025