IJCAR/International Joint Conference on Automated Reasoning
CCF B 类CORE ATHCPL B
International Joint Conference on Automated Reasoning（IJCAR）：CCF 推荐 B 类，CORE A，2026 年会议于 July 26-29, 2026 举行，地点 Lisbon, Portugal，全文截稿 2025-02-15 23:59:59。提供历年截稿时间线、录用率与 CCF 等级信息。