CADE/The Conference on Automated Deduction
CCF B 类CORE ATHCPL B
The Conference on Automated Deduction（CADE）：CCF 推荐 B 类，CORE A，2025 年会议于 July 28-31, 2025 举行，地点 DHBW Stuttgart, Stuttgart, Germany，全文截稿 2025-02-24 23:59:59。提供历年截稿时间线、录用率与 CCF 等级信息。
The Conference on Automated Deduction（CADE）：CCF 推荐 B 类，CORE A，2025 年会议于 July 28-31, 2025 举行，地点 DHBW Stuttgart, Stuttgart, Germany，全文截稿 2025-02-24 23:59:59。提供历年截稿时间线、录用率与 CCF 等级信息。