Conference on Automated Deduction/The International Joint Conference on Automated Reasoning
摘要截稿: 2024-01-29
全文截稿: 2024-02-05
开会时间: 2024-07-01
会议难度:
CCF分类: B类
会议地点: Nancy, France
Overview
IJCAR is the premier international joint conference on all aspects of automated reasoning. IJCAR 2024 will be hosted by the Inria Nancy Research Center and LORIA in Nancy, France, from July 1-6, 2024. IJCAR 2024 is the merger conference of leading events in automated reasoning: CADE – Conference on Automated Deduction FroCoS – Symposium on Frontiers of Combining Systems TABLEAUX – Conference on Analytic Tableaux and Related Methods Topics IJCAR 2024 invites submissions related to all aspects of automated or interactive logical reasoning, including foundations, implementations, and applications.