학회 정보

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   조회: 17364   팔로우: 3   참가: 0

회반 지수 (CP-I)

61.5 / 100
전체 5,682개 중 552위 · 상위 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-19

논문 모집

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 ()

이 항목을 본 사람들이 함께 본 항목

CCFICORECP-I약칭정식 명칭투고 마감개최일
48.0CVAAInternational Conference on Computer Vision, Application and Algorithm2026-09-042026-09-18
43.7ICACRSInternational Conference on Automation, Computing and Renewable Systems2026-09-032026-12-02

관련 학회

CCFICORECP-I약칭정식 명칭투고 마감개최일
AA*92.4SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-07-20
AA*97.7AAAIAAAI Conference on Artificial Intelligence2026-07-212027-02-16
AA*91.2CVPRIEEE Conference on Computer Vision and Pattern Recognition2025-11-062026-06-03
BA*89.7ICRAInternational Conference on Robotics and Automation2026-09-152027-05-24
BA*94.1IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
AA*89.3STOCACM Symposium on Theory of Computing2025-11-042026-06-22
C87.3ICCInternational Conference on Communications2026-10-022027-05-30
CB62.6IJCNNInternational Joint Conference on Neural Networks2027-01-312027-06-14
B91.2ICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-05-16
BA*79.5PODSACM SIGMOD Conference on Principles of DB Systems2026-12-032027-06-13

관련 저널

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

아직 댓글이 없습니다.

댓글을 작성하려면 로그인해 주세요