IJCAR is the premier international joint conference on all topics in automated reasoning. It is the merger co nference of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems) and TABLEAUX (Conference on Analytic Tableaux and Rela ted Methods Topics).
\nA two-day workshop and tutorial programme will be co-organized with t he conference. In addition, the annual CADE ATP Sy stem Competition (CASC) will be held during the co nference.
\nIJCAR 2024 invites submissions related to all aspects of auto mated or interactive logical reasoning, including foundations, implementations, and applications. Al l papers must be original and not simultaneously s ubmitted to another peer-reviewed journal or confe rence. The following paper categories are welcome: Regular papers describing solid new research resu lts (up to 15 pages), and Short papers describing implemented systems, user experiences, case studie s and domain models (up to 7 pages). All submissio ns will be judged on relevance, originality, signi ficance, correctness, and readability. IJCAR 2024 will recognize the most outstanding submissions wi th a best paper award and a best student paper awa rd at the conference.
\n