Workshop on Models and Solvers for Dynamic Programming just before CP2026 🇵🇹

[Pierre Schaus]

Looking for one more great reason to attend CP2026 in Lisbon this July?

👉 Join the 2nd Workshop on Models and Solvers for Dynamic Programming (DPSOLVE 2026)
📅 July 18, 2026 (right before CP, July 20–23)


DPSOLVE brings together researchers from across communities to share ideas, tools, and breakthroughs in dynamic programming models and solvers—from theory to practice.

We invite submissions on topics including (but not limited to):
• Decision diagram–based optimization (DDOpt)
• Domain-independent dynamic programming (DIDP)
• DP integration with Constraint Programming (CP) and MIP
• Applications in formal methods, automated planning, and operations research
• Algorithmic techniques for DP solvers
• Modeling interfaces, benchmarks, and standardization
• Theoretical foundations of DP models and solvers

Submission types (2–3 page extended abstracts):
• Previously published work (not presented at CP)
• Work in progress (INFORMS-style abstracts)
• Tool demonstrations related to DP

All submissions will be reviewed by the program committee for relevance and quality. Accepted contributions will be presented at the workshop.

🔗 Learn more and submit: https://dpsolve26.github.io
🔗 List of all workshops and FLOC program: https://www.floc26.org/program

We look forward to seeing you in Lisbon!

Chris Beck (University of Toronto)
Willem-Jan van Hoeve (Carnegie Mellon University)
Ryo Kuroiwa (National Institute of Informatics)
Laurent Michel (University of Connecticut)
Pierre Schaus (UCLouvain)
Christine Solnon (INSA Lyon)