The 31st International Conference on Principles and Practice of Constraint Programming (CP 2025)

The 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025)

The 18th International Symposium on Combinatorial Search (SoCS 2025) 

will take place at the University of Glasgow, Scotland from 10 to 15 August, 2025. The CP and SAT workshops will be held on the 10th and 11th. Additionally, a joint CP/SAT doctoral programme will be running on the same two days. The respective web pages contain detailed information and submission instructions.

August 10 & 11

• 23rd International Workshop on Satisfiability Modulo Theories
• CP/SAT Doctoral Programme 

August 10

• 1st Workshop on Explanations with Constraints and Satisfiability (ExCoS)
• Machine Learning for Solvers and Provers (ML4SP)
• 2nd International Workshop on Discrete Optimization with Soft Constraints

August 11

• LLMs meet Constraint Solving
• The 24th workshop on Constraint Modelling and Reformulation (ModRef)
• 16th Pragmatics of SAT international workshop
• Workshop on Counting, Sampling, and Synthesis
• International Workshop on Quantified Boolean Formulas and Beyond
• The Eighth Workshop on Progress Towards the Holy Grail (PTHG-25)