Selected Extended Papers of IJCAR 2022

This collection of the Journal of Automated Reasoning is dedicated to selected papers presented at the 11th Joint Conference on Automated Reasoning (IJCAR 2022), held from August 8 to August 10, 2022 in Haifa, Israel, as part of the Federated Logic Conference (FLoC) 2022. IJCAR is the premier international joint conference on all topics in automated reasoning and merges three 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).