IJCAR

The International Joint Conference on Automated Reasoning (IJCAR) is the premier international venue on all aspects of automated reasoning. It is held biannually as a merger 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 Related Methods Topics. IJCAR invites submissions related to all aspects of automated or interactive logical reasoning, including foundations, implementations, and applications.