Call for papers
IJCAR is the premier international joint conference on all aspects of automated reasoning. IJCAR 2024 is the 12th edition of IJCAR. It will be held in Nancy (France), during July 1-6, 2024.
IJCAR 2024 is the merger conference of the following 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) Submission Guidelines IJCAR 2024 invites submissions related to all aspects of automated orinteractive reasoning, including foundations, implementations, and applications.
[Read More]