CFP - LLMs meet Constraint Solving, 2nd Edition (LLM-Solve 2026)

CALL FOR PAPERS

LLM-Solve 2026: LLMs meet Constraint Solving (2nd Edition)
FLoC & CP 2026 Workshop
Sunday, July 19, 2026, at ISCTE, Lisbon, Portugal

IMPORTANT DATES

Submission deadline: May 15, 2026
Notification: May 25, 2026
Workshop: July 19, 2026

ABOUT

LLM-Solve 2026 is a workshop for researchers at the intersection of Large Language Models and Constraint Solving (CP, SAT, SMT, MIP, and related paradigms). LLMs now act as agentic systems that orchestrate multi-step reasoning and tool use, yet they struggle with reliability and formal correctness. Constraint solvers offer provable guarantees but require expertise to formalize problems and select suitable techniques. The opportunity is bidirectional. LLMs can help non-experts with modeling and interactive solving, while constraint solvers can provide execution, verification, and structured reasoning for LLM-driven agents.

TOPICS OF INTEREST (not restricted to)

LLMs and agentic systems for constraint modeling and acquisition
LLM-guided solver heuristics and search strategies
Hybrid approaches combining LLMs and constraint solvers
Constraint solvers for improving LLM reasoning and verification
SAT/CP-based methods for controlling or guiding LLM outputs
LLM-driven explanations and interactive constraint solving
Benchmarks, datasets, and evaluation methodologies for LLM-Constraint integration
Real-world applications combining constraint-solving and LLMs

SUBMISSIONS

Extended abstracts up to 2 pages (excluding references), with an optional appendix of up to 10 pages. Submissions may cover published work, original work, work in progress with preliminary results, or position papers. PDF following LIPIcs guidelines. All presenters and attendees must register for the FLoC workshop day.

Submit.