CP is the premier international event for presenting research in all aspects of computing with constraints, including, but not restricted to: theory, algorithms, environments, languages, models, systems, and applications. CP 2025 is the 31st conference in this series and will be held at the University of Glasgow, Scotland, August 10-15, 2025. This year, CP is co-located with the 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025) and with the 18th International Symposium on Combinatorial Search (SoCS 2025). Note that the first two days (10 and 11th) will be dedicated to the Workshops and Doctoral Program.

The CP conference welcomes submissions that advance the state of the art for the underlying constraint-based technologies, as well as papers that explore the role of constraint programming within other disciplines, such as operations research, machine learning, computational sustainability, quantum computing, computational biology and (cyber)security.

Tracks and Primary Keywords

CP has lately had both a main technical track, an application track and a series of specialised tracks (e.g., machine learning, operations research, etc.) that authors could submit to and were mutually exclusive. This year, inspired by ICAPS 2024, we will only have two tracks: technical and application where, as usual, the former focuses on the scientific contributions made “to” CP, while the latter focuses on scientific contributions made “with” CP. The application track is particularly interested in papers that demonstrate the effectiveness of CP in solving real-world problems, as well as those that offer generalisable insights on the challenges and benefits for both users and developers of applying CP to both academic and real-world problems.

Former specialised tracks are replaced this year by a set of optional primary keywords, which are in addition to the keywords requested from authors every year. Their purpose is to enable submissions to self-identify the area of focus of the CP paper, support the identification of suitable reviewers, and potentially aid in the grouping of thematically related accepted papers in the conference program. Authors (resp. reviewers) will be able to select zero, one or more primary keywords to reflect best the thematic contributions of their CP paper (resp. reviewer expertise).

The primary keywords that can be used to qualify the particular focus of the CP research presented in the paper are:

    Theory
    Constraint Propagation, Explanation & Inference
    Search (Complete & Heuristic)
    SAT, MaxSAT & Logic Programming
    Modelling & Modelling Languages
    Operations Research & Mathematical Optimisation
    Machine Learning & Generative AI
    Verification, Certification & Testing
    Hardware, Quantum, Security & Parallelism
    Model Counting
    Decision Diagrams & Dynamic Programming
    Symmetries/Dominance
    Model/Instance Explainability