This volume contains the papers presented at the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) held on August 8–10, 2022, in Haifa, Israel. IJCAR was part of the Federated Logic Conference (FLoC 2022), which took place from July 31 to August 12, 2022 in Haifa.

IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications, comprising several leading conferences and workshops. IJCAR 2022 united the Conference on Automated Deduction (CADE), the International Symposium on Frontiers of Combining Systems (FroCoS), and the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX). Previous IJCAR conferences were held in Siena, Italy, in 2001, Cork, Ireland, in 2004, Seattle, USA, in 2006, Sydney, Australia, in 2008, Edinburgh, UK, in 2010, Manchester, UK, in 2012, Vienna, Austria, in 2014, Coimbra, Portugal, in 2016, Oxford, UK, in 2018, and Paris, France, in 2020 (virtual).

There were 85 submissions. Each submission was assigned to at least three program committee members and was reviewed in single blind mode. The committee decided to accept 41 papers: 32 regular papers and 9 system descriptions.

The program also included two invited talks, by Elvira Albert and Gilles Dowek, as well as a plenary FLoC talk by Aarti Gupta.

We acknowledge the FLoC sponsors:

  • Diamond sponsors: Amazon Web Services, Meta, Intel
  • Gold sponsors: Google, Nvidia, Synopsys
  • Silver sponsor: Cadence
  • Bronze sponsors: DLVSystem, Veridise
  • Other sponsors: Technion, The Henry and Marilyn Taub Faculty of Computer Science

We also acknowledge the generous sponsorship of Springer and the invaluable support provided by the EasyChair developers.

Jasmin Blanchette
Laura Kovács
Dirk Pattinson
May 31, 2022
Amsterdam, the Netherlands
Acton, Australia
Vienna, Austria