7 - 12 August 2022, The 11th International Joint Conference on Automated Reasoning (IJCAR 2022), Haifa, Israel
IJCAR is the premier international joint conference on all topics in automated reasoning. It is the merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving) and TABLEAUX (Conference on Analytic Tableaux and Related Methods). IJCAR 2022 will be part of the Eighth Federated Logic Conference (FLoC 2022).
IJCAR 2022 invites submissions related to all aspects of automated or interactive reasoning, including foundations, implementations, and applications. All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome: Regular papers describing solid new research results (up to 16 pages), and .System description papers describing implementations of systems, reporting on novel features and experiments with implemented systems (up to 7 pages). Both types of papers must be formatted using the Springer LNCS styles and submitted in PDF via EasyChair.