会议信息

LICS 2026: IEEE Symposium on Logic in Computer Science

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

征稿

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%

相关会议

CCFICORE简称全称截稿日期通知日期会议日期
AA*SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-04-022026-07-20
AA*AAAIAAAI Conference on Artificial Intelligence2026-07-212026-11-302027-02-16
AA*CVPRIEEE Conference on Computer Vision and Pattern Recognition2025-11-062026-02-202026-06-03
AA*STOCACM Symposium on Theory of Computing2025-11-042026-02-012026-06-22
AA*OSDIUSENIX Symposium on Operating Systems Design and Implementation2026-12-012027-03-162027-07-07
AA*ICMLInternational Conference on Machine Learning2026-01-232026-07-06
AA*INFOCOMInternational Conference on Computer Communications2026-07-242026-12-082027-05-24
AA*ICCVInternational Conference on Computer Vision2025-03-072025-06-252025-10-19
AA*CHIACM Conference on Human Factors in Computing Systems2026-09-102026-12-172027-05-10
AAISSTAInternational Symposium on Software Testing and Analysis2026-01-292026-06-252026-10-03

相关期刊

评论 0

暂无评论。

请登录后发表评论