会议信息

IJCAR 2026: International Joint Conference on Automated Reasoning

请登录查看会议网址
免费注册：查看官网链接、跟踪截稿日期，并接收邮件提醒。
注册 登录
截稿日期:
2026-02-06
通知日期:
2026-04-14
会议日期:
2026-07-26
会议地点:
Lisbon, Portugal
届数:
15
ICORE: A   QUALIS: B1   浏览: 64460   关注: 19   参加: 6
这一页信息有误？告诉我们
嵌入截止倒计时徽章
IJCAR
用 API 获取这条数据
搜索与榜单列表完全无需凭证；本页的完整详情需要一把免费 API 密钥。详见开发者接入页。

会伴指数 (CP-I)

74.5 / 100
全站第 272 名 / 共 5,697 个会议 · 前 5%
学术认可 (35%)
88
投稿选择性 (20%)
63
会议传承 (20%)
87
社区关注 (10%)
41
资料公开度 (15%)
65

用到的输入: 收录等级：ICORE A, QUALIS B1 · 录用率：42.9%（有记录的 5 届的均值） · 有据可查的届次：24 · 在会伴关注它的研究者：19 人 · 过去 24 个月打开过本页的研究者：4 人

公开资料里还缺: 历届信息 (+3.0) · 最佳论文记录 (+2.3)
主办方认领本会议后，可直接在这一页补上；分数每晚重算。如何提升这个分数

置信度 100% —— 分数中有多大比例来自实际观测到的数据，而不是中性基准。 这个分数是怎么算出来的 · 查看完整榜单 · 算法版本 1.1 · 算于 2026-10-12

征稿

IJCAR 2026 (International Joint Conference on Automated Reasoning) is a ICORE A / QUALIS B1 conference held in Lisbon, Portugal on 2026-07-26. The paper submission deadline is 2026-02-06. Acceptance notifications are sent on 2026-04-14.

IJCAR topics 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, machine learning and theorem proving, integration of automated provers/proof assistants in automated test generators, program synthesisers, verified compilers, intelligent systems, agent based systems, knowledge processing systems, formal methods tools and other symbolic tools, etc. Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation and processing/engineering, education, formalization of mathematics, trusted AI, etc.
由 Dou Sun 最后更新于

录用率

平均录用率: 41.7% 12 年间 (2001–2024).

年份提交数录用数录用率(%)
20241154539.1%
2022854148.2%
20201967940.3%
20181084642.6%
2016793544.3%
2014833744.6%
20121154236.5%
2010894044.9%
2008983939.8%
20061514932.5%
2004863237.2%
20011125650%

相关会议

相关期刊

CCF全称影响因子出版商ISSN
BJournal of Automated Reasoning0.8Springer0168-7433
AIEEE Transactions on Multimedia9.7IEEE1520-9210
CKnowledge-Based Systems7.2Elsevier0950-7051
BSoftware & Systems Modeling3.2Springer1619-1366
AIEEE Transactions on Computers3.8IEEE0018-9340
CFuture Generation Computer Systems5.9Elsevier0167-739X
CNeurocomputing6.5Elsevier0925-2312
CPattern Recognition Letters3.9Elsevier0167-8655
BPattern Recognition7.6Elsevier0031-3203
IEEE Access3.6IEEE2169-3536

评论 0

暂无评论。

请登录后发表评论