Conference on Automated Deduction/The International Joint Conference on Automated Reasoning
摘要截稿: 2020-01-16
全文截稿: 2020-01-23
开会时间: 2020-06-29
会议难度:
CCF分类: B类
会议地点: Paris, France
Overview
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.
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)
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.
* 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 proving, 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.