约束规划原则与实践国际会议 (CP) 是涵盖约束计算各个方面的顶级年度会议，涵盖理论、算法、模型、求解器以及机器学习/人工智能、规划和调度等领域的广泛应用。本次会议是 约束规划协会 ( CP) 组织的 第 31 届CP 系列会议。CP 2025 项目将包括关于约束技术的高质量科学论文展示。会议地点位于苏格兰格拉斯哥 的格拉斯哥大学。今年，CP 将与 第 28 届可满足性测试理论与应用国际会议 (SAT 2025)、 第 18 届组合搜索国际研讨会 (SoCS 2025) 以及 第 23 届可满足性模理论国际研讨会 (SMT 2025)同期举办。此外，  SAT/SMT/AR 暑期学校 将于会议前一周在圣安德鲁斯举行。

1、委员会
会议主席：
Ciaran McCreesh（格拉斯哥大学）
Blair Archibald（格拉斯哥大学）
项目主席：
Maria Garcia de la Banda（莫纳什大学）
赞助主席：
Ruth Hoffmann（圣安德鲁斯大学）
教程主席：
Andre Cire（多伦多大学）
研讨会主席：
Zeynep Kiziltan（博洛尼亚大学）

• 理论
• 约束传播、解释和推理
• 搜索（完整和启发式）
• SAT、MaxSAT 和逻辑编程
• 建模与建模语言
• 运筹学与数学优化
• 机器学习与生成式人工智能
• 验证、认证和测试
• 硬件、量子、安全性和并行性
• 模型计数
• 决策图与动态规划
• 对称性/优势
• 模型/实例可解释性

1、提交说明

CP 2025 的投稿网页使用OpenReview 系统。投稿系统的变更是为了促进CP 的一项新发展：发布所有已接受论文的匿名评审和元评审。论文应按照LIPIcs 指南以 PDF 文件的形式提交。为了使会议更加广泛地开展，预计提交两种类型的论文：
全文，最多可使用 15 页（参考文献和附录除外）。
短篇论文，最多可使用 8 页（参考文献和附录除外）。
短篇论文涵盖早期结果或高度具体的研究结果，可在8页内充分报告。论文必须符合会议的质量要求。全文和短篇论文都应吸引广泛的读者，并将在会议期间预留时间进行展示。全文最多可添加6页附录，短文最多可添加3页附录，这些附录不计入总页数。可以引用补充材料（例如实验结果或代码），但必须确保不透露作者身份（例如，使用https://anonymous.4open.science），以符合我们的双盲评审流程（见下文）。论文内容应自洽，无需参考附录或补充材料即可理解。作者不应将论文的必要元素放在附录或补充材料中，每位评审员可自行决定是否引用这些材料。为了方便审阅管理，有意向 CP 2025 提交论文的作者应提交最多 150 字的摘要，概述论文的贡献，并指明研究方向和主要关键词。3月20日 3月24日，2025。论文提交必须在3月27日 4月3日，2025年。

2、审查
所有论文都将经过双盲评审流程，这意味着作者和审稿人彼此匿名。因此，提交的论文不应包含作者姓名、所属机构或指向特定网站的链接。引用作者本人论文的参考文献应避免泄露论文作者身份。在此期间，作者还可以针对每篇论文提交一份反驳材料。提交的内容超出页数限制、格式不正确、作者姓名/所属机构/识别网站或与 arXiv 中出现的论文相同（或几乎相同）将被拒绝，无需审查。每篇论文只能提交至一个类别（技术或应用）。如有需要，项目主席可在评审开始前将论文移至更合适的类别。提交的论文不得发表于、被接受或正在接受评审的期刊或其他拥有存档会议论文集的同行评审会议。已在研讨会或其他会议上发表但尚未正式发表或仅以高度精简形式（例如摘要）发表的论文可以作为论文提交。被接受的论文将发表在LIPIcs 出版的会议论文集中。会议论文集将在会议期间提供。

3、重要时间

投稿开放时间：二月
摘要注册：3月24日
论文提交：3月4日 
作者反驳：8/05-12/05
最后通知：5月29日
相机就绪：09/06
会议：10/08-15/08

progchair.cp@gmail.com