General Information

The 9th International Joint Conference on Automated Reasoning will take place July 14-17, 2018, as part of FLoC 2018 in Oxford, United Kingdom.


IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks. IJCAR 2018 is part of the Federated Logic Conference and is the merger of leading events in automated reasoning:

  • CADE (Conference on Automated Deduction)
  • FroCoS (Symposium on Frontiers of Combining Systems)
  • TABLEAUX (Conference on Analytic Tableaux and Related Methods)

IJCAR 2016 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited.

IJCAR 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, etc.
  • 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 provers, etc.
  • Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation, etc.

Call For Papers



Please submit your papers via EasyChair at Details will be made available later.

Important Dates

Abstract submission deadline: TBD
Paper submission deadline: TBD
Author notification: TBD
Camera-ready paper versions due: TBD
Conference: July 14nd-17th 2016

Invited Speakers







Registration to IJACR is part of the FLoC registration process.


Conference Chair

Program Chairs

Local Arrangements Chairs

Workshop Chair

Program committee

  • TBD