CALL FOR PAPERS LLM-Solve 2026: LLMs meet Constraint Solving (2nd Edition) FLoC & CP 2026 Workshop Sunday, July 19, 2026, at ISCTE, Lisbon, Portugal https://submissions.floc26.org/llm-solve/ 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 (https://submission.dagstuhl.de/series/details/5#author). All presenters and attendees must register for the FLoC workshop day. Submit: https://submissions.floc26.org/llm-solve/ ORGANIZERS Tias Guns (KU Leuven, Belgium) Serdar Kadıoglu (Brown University, USA) Stefan Szeider (TU Wien, Austria) Dimos Tsouros (UOWM, Greece) FLoC'26: https://www.floc26.org/venue CP'26: https://cp2026.a4cp.org/ ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************