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).
Researchers are invited to submit proposals for workshops, tutorials and competitions, on any topic related to automated reasoning, from theoretical foundations to tools and applications.
The workshops and tutorials will take place before and after the FLoC conferences: Sunday & Monday, July 31-August 1, 2022, and Thursday & Friday, August 11-12, 2022. (Note that IJCAR will take place on August 7-10, 2022. We recommend that you plan your event on the second period, and indicate it in the proposal. Proposals for all conferences affiliated to FLoC, including IJCAR, will be reviewed jointly, so please make sure that the proposal indicates an affiliation to IJCAR. Competition proposals should be sent directly to Yoni Zohar at yoni206 at gmail.com.