IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR 2020 technical program will consist of presentations of high-quality original research papers, short papers describing interesting work in progress,  system descriptions, and invited talks. IJCAR 2020 takes place in Paris (France) from June 29 to July 2 2020. It will be co-located with the conference FSCD. IJCAR 2020 is the merger of leading events in automated reasoning:

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

Topics:

IJCAR 2020 invites submissions related to all aspects of automated or interactive reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems or proof assistants 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, 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.

The proceedings of IJCAR 2020 will be published by Springer in the LNAI/LNCS series (www.springer.com/lncs).

Best paper award:

IJCAR 2020 will recognize the most outstanding submission with a best paper award at the conference.

Student travel awards:

Woody Bledsoe Travel Awards will be available to support selected students in attending the conference.

Submission Guidelines

Submission is electronic, through https://easychair.org/conferences/?conf=ijcar2020

Authors are strongly encouraged to use LaTeX and the Springer "llncs" format, which can be obtained from http://www.springer.de/comp/lncs/authors.html

We solicit three categories of submissions:

REGULAR PAPERS. Submissions, not exceeding fifteen (15) pages excluding bibliography, should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data and software available with their submission for reproducibility. In particular submissions describing formal proofs are expected to be accompanied by the source files of the formalization. The PC will take availability of software and data into account when evaluating submissions. Submissions reporting on case studies in an industrial context are strongly invited, and should describe details, weaknesses and strength in sufficient depth. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed.

SYSTEM DESCRIPTIONS. Submissions, not exceeding seven (7) pages excluding bibliography, should describe the implemented tool and its novel features. One author is expected to be able to perform a demonstration on demand to accompany a tool presentation. 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.

SHORT PAPERS. Submissions, not exceeding five (5) pages excluding bibliography, and describing interesting work in progress. Such a preliminary report may consist of an extended abstract. Each of these papers should bear the phrase “(short paper)” beneath the title. Accepted submissions in this category will be presented as short talks and published in the main proceedings. There will be no downgrading from regular papers or system descriptions to short papers.

All submissions should meet high academic standards; proofs of theoretical results that do not fit in the page limit, executables of systems, and input data of experiments should be made available, via a reference to a website or in an appendix of the paper.

Important dates

Abstract submission: January 16 2020

Paper submission: January 23 2020

Rebuttal: March 6-10 2020

Notification: March 20 2020

Final version of papers due: April 10 2020

IJCAR Conference: 29th June - 2nd July 2020

Organization

Conference Chair: Kaustuv Chaudhuri (INRIA, Ecole Polytechnique)

Local Arrangements Chairs: Giulio Manzonetto (Université Paris-Nord, France)

Workshop, Tutorial and Competition Chair: Andrew Reynolds (University of Iowa, USA)

Programme Chairs:  Nicolas Peltier (CNRS, LIG, Univ. Grenoble Alpes, Grenoble France), Viorica Sofronie-Stokkermans (University Koblenz-Landau, Koblenz, Germany)