학회 시리즈
CPP: International Conference on Certified Programs and Proofs
Conference Partner에 수록된 이 학회의 역대 개최 정보(최신순)입니다.
| 연도 | 개최일 | 개최지 | 투고 마감일 | 통보일 |
|---|---|---|---|---|
| 2027 이번 회차 | 2027-01-10 | Mexico City, Mexico | 2026-09-03 | 2027-11-10 |
| 2025 | 2025-01-19 | Denver, Colorado, USA | 2024-09-10 | 2024-11-19 |