文章预览
计算机科学理论 CADE/IJCAR 2025 Conference on Automated Deduction/The International Joint Conference on Automated Reasoning 全文截稿: 2025-02-24 开会时间: 2025-07-28 会议难度: ★★★★ CCF分类: B类 会议地点: Stuttgart, Germany 网址： https://cadeinc.org/conferences CADE is the major international forum for presenting research on all aspects of automated deduction. High-quality submissions on the general topic of automated deduction, including logical foundations, theory and principles, applications in and beyond computer science and mathematics, and implementations of automated reasoning systems are solicited. CADE-30 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction. CADE-30 proceedings will be published in Springer's Lecture Notes in Artificial Intelligence series in Gold Open Access mode at a CADE special rate of EUR 200 per paper. Authors of accepted papers who cannot cover the fee can ap
………………………………
