Workshops
The CP 2026 workshops will take place on 18/07–19/07 and 24/07–25/07. The confirmed workshops are listed below.
18/07
2nd Workshop on Models and Solvers for Dynamic Programming 2026 (DPSOLVE)
2nd Workshop on Machine Learning on Solvers and Provers (ML4SP)
3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS)
19/07
25th Workshop on Constraint Modelling and Reformulation (ModRef)
2nd LLMs meet Constraint Solving (LLM-Solve)
24/07
Soft Constraints, Discrete Optimization, and Machine Learning (SOFT)
Explainable Logic-Based Knowledge Representation (XLoKR)
Explanations with Constraints and Satisfiability (ExCoS)
Joint workshop with XLoKR.