CP 2025: Call for Papers

The 31st International Conference on Principles and Practice of Constraint Programming (CP 2025) will be held in Glasgow, Scotland, August 10-15, 2025 at the University of Glasgow.

CP is the premier international event for presenting research in all aspects of computing with constraints.

CP 2025 is 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).

Note that the first two days (10th and 11th) will be dedicated to Workshops and the Doctoral Program.

Tracks and Primary Keywords

CP 2025 will have two tracks: technical and application.

• Technical Track: Focuses on scientific contributions made "to" CP.
• Application Track: 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.

Authors will be able to select zero, one or more primary keywords to reflect the thematic contributions of their CP paper. These keywords 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

Submission Instructions

The submission Web page for CP 2025 uses the OpenReview system.

Papers should be submitted in the form of a PDF file following LIPIcs guidelines).

Two types of submissions are expected:

• Full papers: up to 15 pages (references and appendices excluded).
• Short papers: up to 8 pages (references and appendices excluded).

Appendices of up to 6 pages for full papers and up to 3 pages for short papers can be included and will not contribute towards the total page count.

Supplemental material may be referenced, but only if this is done without revealing the authors' identities (for example, by using https://anonymous.4open.science) to fit the double-blind review process.

To facilitate reviewing management, authors who intend to submit a paper to CP 2025 should submit an abstract with a maximum of 150 words, summarising the contribution of the paper and indicating the track and primary keywords by March 24, 2025.

The paper submission must be completed by April 3, 2025.

All papers will go through a double-blind reviewing process.

Submissions exceeding the page limits, improperly formatted, with author names/affiliations/identifying-websites, or with identical (or almost identical) papers appearing in arXiv will be rejected without review.

Each paper must be submitted to one track only (technical or application).

Accepted papers will appear in conference proceedings published by LIPIcs. The proceedings will be available at the time of the conference.

Important Dates

• Abstract registration: March 24, 2025
• Paper submission: April 3, 2025
• Author rebuttal: May 8-12, 2025
• Final notification: May 29, 2025
• Camera Ready: June 9, 2025
• Conference: August 10-15, 2025

Dates are intended as 11pm Anywhere on Earth (AoE, also known as UTC-12).

Diversity Equity Inclusion (DEI) scholarship and other support

CP 2025 offers DEI scholarships to support individuals from underrepresented groups.

Eligibility for the DEI scholarship requires applicants to be pursuing or holding a PhD in constraint programming or related fields. Note that paper submission is not required to qualify for the scholarship.

In addition to the scholarships, CP 2025 is willing to support attendees with childcare or accessibility needs on a best-effort basis; if you are interested, please get in touch early to discuss your needs. For more information, follow the DEI page and contact the DEI chairs.

Use of Generative AI

CP 2025 is adopting the AAAI policy regarding the use of Generative AI systems such as ChatGPT.

Papers that include text generated from an AI system are prohibited unless the produced text is presented as a part of the paper’s experimental setup.

CP 2025 also follows AAAI policy in considering that AI systems, including Generative Models such as Chat-GPT, BARD, or DALL-E, do not satisfy the criteria considered for paper authorship and, as such, these systems cannot be used as authors or as citable sources in papers published in CP.

Other Information

Questions about the paper submission process may be addressed to the Program Chair, Maria Garcia de la Banda (progchair.cp@gmail.com)