Certified Programs and Proofs
Indexed in CORE Rankings with rank B (ICORE2026).
Kỳ tổ chức mới nhất: Certified Programs and Proofs 2023
Kênh Tra cứu Trực tiếp
Bộ Chỉ số & Xếp hạng Học thuật
Phân hạng CORE2026
B
Theory of computation
Phân hạng CCFChina CF
N/A
China Computer Federation
Chỉ số H5-IndexScholar
N/A
Google Scholar Metrics
Mốc Thời gian Nộp bài & Đếm ngược
Certified Programs and Proofs 2023 • Boston USA(16 – 17 Tháng 1, 2023)
Chưa có thông tin hạn nộp bài cụ thể cho kỳ tiếp theo
Vui lòng theo dõi website chính thức của hội nghị hoặc DBLP để cập nhật Call for Papers.
Bảng Xếp hạng Học thuật Đa nguồn
Đối chiếu phân hạng từ các tổ chức thẩm định uy tín trên thế giới
| Hệ thống Xếp hạng | Cơ quan Thẩm định | Phân hạng | Phiên bản / Năm | Chuyên ngành | Ý nghĩa Phân hạng |
|---|---|---|---|---|---|
| CORE Ranking | Computing Research and Education Association of Australasia | B | Năm 2026 | Theory of computation | Good Conference — Top 35%–40% toàn cầu |
| CCF Ranking | China Computer Federation (CCF) | N/A | CCF 2022 Catalog | Computer Science | Hội nghị Quốc tế Quan trọng |
| TH-CPL | Đại học Thanh Hoa (Tsinghua University) | N/A | TH-CPL List | CS & Engineering | Danh mục khuyến nghị bài báo & hội nghị Thanh Hoa |
| Qualis CAPES | CAPES (Bộ Giáo dục Brazil) | N/A | Sucupira / Qualis | Ciência da Computação | Phân hạng học thuật tiêu chuẩn Nam Mỹ |
| CORE | Academic Association | B | ICORE2026 | General | International prestige ranking |
Lịch sử Các kỳ Tổ chức (Editions Timeline)
Thông tin địa điểm, thời gian và kỷ yếu các kỳ hội nghị đã và sắp diễn ra
2023
Certified Programs and Proofs 2023
Đã kết thúcBoston, USA
16 – 17 Tháng 1, 2023
2022
Certified Programs and Proofs (CPP) 2022
Đã kết thúcPhiladelphia, US
17 – 18 Tháng 1, 2022
2021
Certified Programs and Proofs
Đã kết thúcCopenhagen, Denmark
18 – 19 Tháng 1, 2021
2020
Certified Programs and Proofs
Đã kết thúcNew Orleans, USA
20 – 21 Tháng 1, 2020
2018
Spanish Parallel Programming Contest
Đã kết thúcNon Presential, non presential
14 Tháng 6 – 14 Tháng 9, 2018
2014
The Third International Meeting on Cardiac Problems in Pregnancy
Đã kết thúcHiton Molino Stucky Venice, Hiton Molino Stucky Venice
20 – 23 Tháng 2, 2014
2013
Certified Programs and Proofs
Đã kết thúcMelbourne, Australia
9 – 11 Tháng 12, 2013
2012
The Second International Conference on Certified Programs and Proofs
Đã kết thúcKyoto, Japan
13 – 15 Tháng 12, 2012
Cổng Tư liệu & Liên kết Ngoài
Truy cập nguồn học thuật DBLP, Papers With Code và cổng thông tin chính thức
DBLP Computer Science
Thư viện trích dẫn và lưu trữ toàn bộ các bài báo khoa học qua các năm.
dblp.org ↗
Papers With Code
Khám phá các bài báo, mã nguồn đính kèm (code implementation) và bộ dữ liệu benchmarks.
paperswithcode.com ↗
CORE Ranking Portal
Hồ sơ thẩm định phân hạng chính thức từ Hội đồng Nghiên cứu Australasia.
portal.core.edu.au ↗