Lisbon, Portugal.
Photo credits: Andreas Brucker, Unsplash.

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)

DPSOLVE website

3rd International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS)

WHOOPS website

19/07

25th Workshop on Constraint Modelling and Reformulation (ModRef)

ModRef website

2nd LLMs meet Constraint Solving (LLM-Solve)

LLM-Solve website

24/07

Soft Constraints, Discrete Optimization, and Machine Learning (SOFT)

SOFT website

Explainable Logic-Based Knowledge Representation (XLoKR)

XLoKR website

Explanations with Constraints and Satisfiability (ExCoS)

Joint workshop with XLoKR.

25/07

Automated Reasoning for Future Space Logistics (AR4Space)

AR4Space website