This special issue of the
Journal of Automated Reasoning is dedicated to selected papers presented at the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), initially planned to be held in Paris, but—due to the COVID-19 pandemic—held by remote conferencing during July 1–4, 2020. IJCAR is the premier international joint conference on all topics in automated reasoning, including foundations, implementations, and applications, comprising several leading conferences and workshops. IJCAR 2020 united CADE, the Conference on Automated Deduction, FroCoS, the International Symposium on Frontiers of Combining Systems, ITP, the International Conference on Interactive Theorem Proving, and TABLEAUX, the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. …
