CP 2025: Call for Papers

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

CP is the premier international event for presenting research in all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications.

Tracks

CP 2025 features two main tracks:

• Technical Track: Focuses on scientific contributions made "to" CP.
• Application Track: Focuses on scientific contributions made "with" CP, particularly those demonstrating the effectiveness of CP in solving real-world problems and offering generalizable insights.

Primary Keywords

Authors are invited to select primary keywords to reflect their paper's focus. These include:

• 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

• 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

All dates are intended as 11pm Anywhere on Earth (AoE).

Submission Instructions

• Submissions are managed through the OpenReview system.
• Papers should be submitted in the form of a PDF file following LIPIcs guidelines.
• Submission Types:
  • Full papers: Up to 15 pages (excluding references and appendices).
  • Short papers: Up to 8 pages (excluding references and appendices).
  • Appendices of up to 6 pages for full papers and up to 3 pages for short papers are allowed and do not count towards the page limit.
• Double-blind reviewing process: Papers must not contain author names, affiliations, or links to identifying websites.
• Submitted papers must not appear in, be accepted for, or be under review for a journal or another peer-reviewed conference with archived proceedings.
• Accepted papers will be published in conference proceedings by LIPIcs.

Diversity, Equity, and Inclusion (DEI)

CP 2025 offers DEI scholarships to support individuals from underrepresented groups. These scholarships cover conference attendance costs. Recipients may be integrated into the Doctoral Program for mentorship.

Use of Generative AI

CP 2025 prohibits the use of Generative AI systems (e.g., ChatGPT) for text generation in papers, unless it is part of the experimental setup. AI systems cannot be authors or citable sources. Authors are responsible for the content and for checking plagiarism.

Contact

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