Thirty First Conference on Principles and Practice of Constraint Programming CP 2025
August 10-15, 2025, Glasgow, Scotland
Submissions are now open for papers, workshops, and tutorials for CP 2025.
For full details, please see:
- https://cp2025.a4cp.org/cfp.html
- https://cp2025.a4cp.org/cfw.html
- https://cp2025.a4cp.org/cft.html
Call for Papers
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.
Submissions are now open.
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
Important Dates
Submissions open: now
Abstract registration: 20/03
Paper submission: 27/03
Author rebuttal: 8/05-12/05
Final notification: 29/05
Camera Ready: 09/06
Conference: 10/08-15/08
Dates are intended as 11pm Anywhere on Earth (AoE, also known as UTC-12). Note that the dates for registration and submission are selected in such a way they fall on Friday midnight in New Zealand, thus ensuring nobody has to work on the weekend to finish their CP abstract/paper.
Call for Workshop Proposals
We invite proposals for workshops to be held immediately before the main conferences in Glasgow, UK. Workshops offer an opportunity for in-depth discussions, hands-on experiences, and focused exploration of specific areas connected to constraint programming, SAT solving, and related topics.
Given the co-location of the CP and SAT conferences, we especially encourage proposals for workshops of interest to both communities. Some example topics from recent years are pragmatics of constraint reasoning, constraint modelling and SAT/SMT encodings, counting and sampling, logic-based methods in ML, CP-SAT solving, proof complexity, certifying algorithms, and logic and search. Proposals of interest to a single community, either on previously covered topics or new topics, are also welcome.
While you are free to have a traditional workshop with submitted papers, we also encourage new ideas and formats that could foster more interaction from your audience. We encourage in particular short papers and position papers, a lightweight review process, and poster sessions.
Important dates
Proposal submission: March 20, 2025
Notification of decisions: March 30, 2025
Workshops: August 10-11, 2025
Main conferences: August 12-15, 2025
Call for Tutorial Proposals
We invite proposals for tutorials to be held at CP 2025. The Tutorial Program aims to:
Disseminate insights on emerging topics and trends, Provide surveys of complementary techniques to those commonly studied in CP, and Inform industrial practitioners on state-of-the-art developments in the field.
Tutorials are delivered by experts in the field and will take place during the main conference, August 10-15, 2025.
Scope and Co-location
We particularly encourage tutorials that connect CP with the co-located SAT and SoCS conferences, expanding CP's reach and fostering new synergies across disciplines.
Submission Guidelines
Tutorial proposals should be emailed to the Tutorial Chair, Andre Augusto Cire.
Each proposal (maximum two pages) should include:
Title
Presenter(s) / Organizer(s) (name(s) and affiliation(s))
Abstract (up to 300 words)
Motivation (relevance and suitability for the CP audience)
Presenter(s) biography (or link to a personal webpage), including
their expertise and connection to the tutorial topic
Important Dates
Proposal submission deadline: June 1st, 2025
Notification of acceptance: June 15th, 2025
--
Ciaran McCreesh
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
