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.