会议信息
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   浏览: 10239   关注: 15   参加: 5

会议地点
征稿
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
相关会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
WATInternational Workshop on Automation Technologies2020-06-102020-07-102020-12-10
FMVIPInternational Conference on Frontiers of Machine Vision and Image Processing2020-10-102020-10-252020-11-13
DisCoTecInternational Federated Conference on Distributed Computing Techniques2020-02-172020-04-102020-06-15
DMMHInternational Workshop on Data Mining for Medicine and Healthcare 2013-01-252013-05-04
WCNEInternational Conference on Wireless Communication and Network Engineering2017-12-12 2017-12-24
ICITEEInternational Conference on Information Technology and Electrical Engineering2018-04-202018-05-182018-07-24
ab2TARKInternational Conference on Theoretical Aspects of Rationality and Knowledge2012-09-202012-10-292013-01-07
AIEEInternational Conference on Artificial Intelligence in Electronics Engineering2020-08-202020-09-102021-01-15
baa1ECCVEuropean Conference on Computer Vision2020-03-052020-07-032020-08-23
iCMLDEInternational Conference on Machine Learning and Data Engineering2019-09-292019-10-072019-12-02
相关期刊
CCF全称影响因子出版商ISSN
bInternational Journal of Approximate Reasoning1.982Elsevier0888-613X
Journal of Formalized ReasoningAlma Mater Studiorum1972-5787
Journal of Computer Assisted Learning2.451Wiley-Blackwell0266-4909
bAutomated Software Engineering0.806Springer0928-8910
Operations Research Letters0.761Elsevier0167-6377
The International Journal of Advanced Manufacturing Technology1.827Springer0268-3768
IEEE Robotics & Automation Magazine4.250IEEE1070-9932
Journal of Library Automation American Library Association0022-2240
Design Automation for Embedded Systems0.250Springer0929-5585
International Journal of Engineering MathematicsHindawi2356-7007
推荐