The 31st International Conference on Principles and Practice of Constraint Programming
August 10-15 2025, Glasgow, Scotland (physical meeting)
CP 2025
The International Conference on Principles and Practice of Constraint Programming (CP) is the premier annual conference on all aspects of computing with constraints, including theory, algorithms, models, solvers, and a diverse range of applications in machine learning/artificial intelligence, planning, and scheduling, to name a few. This is the 31st version of the CP series organized by the Association for Constraint Programming.
The CP 2025 program will include presentations of high quality scientific papers on constraints technology. It will be located in Glasgow, Scotland, at the University of Glasgow.
This year, CP will be co-located with the 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025), the 18th International Symposium on Combinatorial Search (SoCS 2025), and the 23rd International Workshop on Satisfiability Modulo Theories (SMT 2025). Additionally, the SAT/SMT/AR Summer School will be held in St Andrews during the week before the conference.
Sponsors
CP 2025 appreciates the generous support of our sponsors.
Platinum Sponsors
Silver Sponsors
Bronze Sponsors
Other Support
We acknowledge the support of the Lord Provost and Glasgow City Council in providing the civic reception, and the assistance of the Glasgow Convention Bureau and the University of Glasgow.
