会议信息

LICS 2026: IEEE Symposium on Logic in Computer Science

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

会伴指数 (CP-I)

85.5 / 100
全站第 125 名 / 共 5,694 个会议 · 前 3%

理论与算法 第 8 / 142

学术认可 (35%)
100
投稿选择性 (20%)
79
会议传承 (20%)
100
社区关注 (10%)
49
资料公开度 (15%)
65

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

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

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

征稿

LICS 2026 (IEEE Symposium on Logic in Computer Science) is a CCF A / ICORE A* / QUALIS A2 conference held in Lisbon, Portugal on 2026-07-20. The paper submission deadline is 2026-01-15. Acceptance notifications are sent on 2026-04-16.

The 41st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2026) will be held in Lisbon, from 20 – 23 July 2026, as part of the Federated Logic Conference FLOC'26. The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, foundations of probabilistic, real-time and hybrid systems, games and logic, higher-order logic, knowledge representation and reasoning, lambda and combinatory calculi, linear logic, logic programming, logical aspects of AI, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, process calculi, programming language semantics, proof theory, reasoning about security and privacy, rewriting, type systems, type theory, and verification.
由 Dou Sun 最后更新于

录用率

平均录用率: 30.9% 9 年间 (1995–2005).

年份提交数录用数录用率(%)
20051274434.6%
20041684023.8%
20031223427.9%
20021353626.7%
20011043634.6%
19981204235%
19971083936.1%
19961754726.9%
19951374432.1%

相关会议

CCFICORECP-I简称全称截稿日期会议日期
AA*92.6SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-07-20
AA*97.8AAAIAAAI Conference on Artificial Intelligence2026-07-212027-02-16
AA*94.4CVPRIEEE Conference on Computer Vision and Pattern Recognition2026-11-102027-06-20
AA*92.6STOCACM Symposium on Theory of Computing2026-11-022027-06-06
AA*95.3OSDIUSENIX Symposium on Operating Systems Design and Implementation2026-12-012027-07-07
AA*95.1ICMLInternational Conference on Machine Learning2026-01-232026-07-06
AA*97.3INFOCOMInternational Conference on Computer Communications2026-07-242027-05-24
AA*89.4ICCVInternational Conference on Computer Vision2025-03-072025-10-19
AA*94.2CHIACM Conference on Human Factors in Computing Systems2026-09-102027-05-10
AA92.7ISSTAInternational Symposium on Software Testing and Analysis2027-01-082027-09-07

相关期刊

评论 0

暂无评论。

请登录后发表评论