The International Joint Conference on Automated Reasoning (IJCAR)

June 29 – July , 2020 Paris, France

Scope & Topics

The International Joint Conference on Automated Reasoning (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 is the 10th edition of IJCAR. It will be held in Paris (France), and will be co-located with FSCD 2020 and a number of workshops and associated events.

Topics of interest include, but are not limited to, the following

• propositional
• first-order, classical
• equational
• higher-order
• on-classical
• constructive
• temporal
• many-valued
• substructural
• description
• tableaux
• sequent calculi
• Graphics recognition
• Table and form processing
• resolution
• model-elimination
• inverse method
• paramodulation
• semantic guidance
• SAT and SMT solving
• verification
• formal methods
• program analysis and synthesis
• deductive databases
• formalization of mathematics

Paper Submission

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.

Important Dates