Conference Information
IJCAR 2020: International Joint Conference on Automated Reasoning
Submission Date:
Notification Date:
Conference Date:
Paris, France
CCF: b   CORE: a*   QUALIS: b1   Viewed: 9007   Tracked: 14   Attend: 5

Conference Location
Call For Papers
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.
Last updated by Dou Sun in 2019-10-28
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ICCMFEInternational Conference on Chemical, Material and Food Engineering2018-04-22 2018-04-27
b2CiEThe Nature of Computation: Logic, Algorithms, Applications2015-01-212015-03-092015-06-29
ISRAInternational Symposium on Robotics and Applications2016-09-162016-09-222016-09-24
NetSoftIEEE Conference on Network Softwarization2019-12-022020-03-092020-06-29
BioCASBiomedical Circuits and Systems Conference2018-06-182018-08-132018-10-17
bb1PPDPACM SIGPLAN Symposium on Principles and Practice of Declarative Programming2020-05-112020-07-032020-09-08
ICVARSInternational Conference on Virtual and Augmented Reality Simulations2019-12-102019-12-302020-02-14
baa2ECAIEuropean Conference on Artificial Intelligence2019-11-152020-01-152020-06-08
CSSCInternational Joint Conference on Signals, Systems and Computers2020-10-302020-10-302020-12-14
ICFSTInternational Conference on Frontiers of Sensors Technologies2020-06-152020-07-052020-11-06