Call for papers

IJCAR is the premier international joint conference on all aspects of automated reasoning. IJCAR 2024 is the 12th edition of IJCAR. It will be held in Nancy (France), during July 1-6, 2024.

IJCAR 2024 is the merger conference of the following 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)

Submission Guidelines

IJCAR 2024 invites submissions related to all aspects of automated orinteractive reasoning, including foundations, implementations, and applications.

All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:

  • Regular papers describing solid new research results. They can be up to 16 pages long, including figures but excluding references and appendices. Where applicable, regular papers are supported by experimental validation. Submissions reporting on case studies in an industrial context are strongly invited as regular papers, and should describe details, weaknesses and strength in sufficient depth.

  • System description papers describing implementations of systems, reporting on novel features and experiments with implemented systems. System description papers can be up to 7 pages long, including figures but excluding references and appendices. System description papers should also be supported by a link to the artifact/experimental evaluation available to the reviewers. Each of these papers should mention the phrase “(system description)” beneath the title. Papers describing tools that have already been presented in other conferences before will be accepted only if significant and clear enhancements to the tool are reported and implemented.

Both types of papers must be formatted using the Springer LNCS style and submitted in PDF format.

Authors of accepted papers are required to ensure that at least one of them will present the paper at the conference.

List of Topics