FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Overview

11th International Joint Conference on Automated Reasoning – IJCAR 2022

August 8–10, 2022, Haifa, Israel

Part of FLoC 2022 and following the COVID regulations of FLoC 2022

 


IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications, comprising several leading conferences and workshops.

The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks. IJCAR 2022 is part of the Federated Logic Conference and is the umbrella 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)