会議情報
IJCAR 2020: International Joint Conference on Automated Reasoning
https://ijcar2020.org/
提出日:
2020-01-16
通知日:
2020-03-20
会議日:
2020-06-29
場所:
Paris, France
年:
10
CCF: b   CORE: a*   QUALIS: b1   閲覧: 12008   追跡: 17   出席: 6
場所
論文募集
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.
最終更新 Dou Sun 2019-10-28
関連会議
関連仕訳帳
CCF完全な名前インパクト ・ ファクター出版社ISSN
bInternational Journal of Approximate Reasoning2.678Elsevier0888-613X
Journal of Formalized ReasoningAlma Mater Studiorum1972-5787
Journal of Computer Assisted Learning2.451Wiley-Blackwell0266-4909
Operations Research Letters0.761Elsevier0167-6377
bAutomated Software Engineering0.806Springer0928-8910
The International Journal of Advanced Manufacturing Technology1.827Springer0268-3768
IEEE Robotics & Automation Magazine4.250IEEE1070-9932
Progress in Organic Coatings4.469Elsevier0300-9440
Journal of Library Automation American Library Association0022-2240
Design Automation for Embedded Systems0.250Springer0929-5585
完全な名前インパクト ・ ファクター出版社
International Journal of Approximate Reasoning2.678Elsevier
Journal of Formalized ReasoningAlma Mater Studiorum
Journal of Computer Assisted Learning2.451Wiley-Blackwell
Operations Research Letters0.761Elsevier
Automated Software Engineering0.806Springer
The International Journal of Advanced Manufacturing Technology1.827Springer
IEEE Robotics & Automation Magazine4.250IEEE
Progress in Organic Coatings4.469Elsevier
Journal of Library Automation American Library Association
Design Automation for Embedded Systems0.250Springer
おすすめ