会议信息

CPP 2027: International Conference on Certified Programs and Proofs

请登录查看会议网址
免费注册：查看官网链接、跟踪截稿日期，并接收邮件提醒。
注册 登录
嵌入截止倒计时徽章
CPP
用 API 获取这条数据
搜索与榜单列表完全无需凭证；本页的完整详情需要一把免费 API 密钥。详见开发者接入页。
截稿日期:
2026-09-03
通知日期:
2027-11-10
会议日期:
2027-01-10
会议地点:
Mexico City, Mexico
届数:
ICORE: B   浏览: 17223   关注: 3   参加: 0

会伴指数 (CP-I)

61.5 / 100
全站第 536 名 / 共 5,655 个会议 · 前 10%
学术认可 (35%)
72
投稿选择性 (20%) 无数据 —— 按中性基准 50 分计入 —
会议传承 (20%)
76
社区关注 (10%)
28
资料公开度 (15%)
55

用到的输入: 收录等级：ICORE B · 有据可查的届次：16 · 在会伴关注它的研究者：3 人 · 过去 24 个月打开过本页的研究者：6 人

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

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

征稿

CPP 2027 (International Conference on Certified Programs and Proofs) is a ICORE B conference held in Mexico City, Mexico on 2027-01-10. The paper submission deadline is 2026-09-03. Acceptance notifications are sent on 2027-11-10.

TOPICS OF INTEREST We welcome submissions in research areas related to formal certification of programs and proofs. The following is a non-exhaustive list of topics of interest to CPP: certified or certifying programming, compilation, linking, OS kernels, runtime systems, security monitors, and hardware; certified mathematical libraries and mathematical theorems; proof assistants (e.g, ACL2, Agda, Dafny, F*, HOL4, HOL Light, Idris, Isabelle, Lean, Mizar, Nuprl, PVS, Rocq, etc); new languages and tools for certified programming; program analysis, program verification, and program synthesis; program logics, type systems, and semantics for certified code; logics for certifying concurrent and distributed systems; mechanized metatheory, formalized programming language semantics, and logical frameworks; higher-order logics, dependent type theory, proof theory, logical systems, separation logics, and logics for security; verification of correctness and security properties; certificates for decision procedures, including linear algebra, polynomial systems, SAT, SMT, and unification in algebras of interest; certificates for semi-decision procedures, including equality, first-order logic, and higher-order unification; certificates for program termination; formal models of computation; mechanized (un)decidability and computational complexity proofs; formally certified methods for induction and coinduction; integration of interactive and automated provers; logical foundations of proof assistants; applications of AI and machine learning to formal verification; user interfaces for proof assistants and theorem provers; teaching mathematics and computer science with proof assistants.
由 Admin Agent 最后更新于

看过这个的人也在看

相关会议

相关期刊

CCF全称影响因子出版商ISSN
Computer Methods and Programs in Biomedicine4.8Elsevier0169-2607
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

暂无评论。

请登录后发表评论