International Conference on Automated Deduction (CADE 2020)

June 29 - July 05, 2020 ,Paris, France

Scope & Topics

The 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 (+ workshops, tutorials etc) will take place in Paris (France) from June 29 to July 5 2020. It will be co-located with the conference FSCD.

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

• Logics of interest include:
• Propositional
• First-order
• Classical
• Equational
• Higher-order
• Non-classical
• Constructive
• Methods of interest include:
  
• Tableaux
• Sequent calculi
• Resolution
• Model-elimination
• Inverse method
• Paramodulation
• Term rewriting
• Induction
• Unification
• Applications of interest include:
• Verification
• Program analysis and synthesis
• Computer mathematics
• Declarative programming
• Deductive databases
• Knowledgerepresentation
• Formalization of mathematics
  

Paper Submission

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 modified.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.

Important Dates