IJCAR 2022 topics include the following ones:

* Logics of interest include: propositional, first-order, classical,   equational, higher-order, non-classical, constructive, modal,   temporal, many-valued, substructural, description, type theory.

* Methods of interest include: tableaux, sequent calculi, resolution,   model-elimination, inverse method, paramodulation, term rewriting,   induction, unification, constraint solving, decision procedures,   model generation, model checking, semantic guidance, interactive   theorem proving, logical frameworks, AI-related methods for   deductive systems, proof presentation, automated theorem proving,   combination of decision or proof procedures, SAT and SMT solving,   integration of proof assistants with automated provers and other   symbolic tools, etc.

* Applications of interest include: verification, formal methods,   program analysis and synthesis, computer mathematics,   declarative programming, deductive databases, knowledge   representation, education, formalization of mathematics etc.