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), and the 18th International Symposium on Combinatorial Search (SoCS 2025) will be held at the University of Glasgow, Scotland from 10th to 15th August 2025.
The CP and SAT 2025 joint workshop programme has now been finalised, and you can find further details and links to the individual workshop calls at the following:
https://cp2025.a4cp.org/workshops.html
Note that we will be running the workshops over two days, on both August 10th and August 11th.
Additionally, a joint CP / SAT doctoral programme will be running on the same two days. Details and submission instructions can be found here:
The full list of workshops is as follows. On both the 10th and the 11th we will have:
- 23rd International Workshop on Satisfiability Modulo Theories, https://smt-workshop.cs.uiowa.edu/2025/
On the 10th we will have:
- 1st Workshop on Explanations with Constraints and Satisfiability (ExCoS), https://sites.google.com/view/excos2025
- Machine Learning for Solvers and Provers (ML4SP), https://ml4sp.github.io/
- 1st International Workshop on Discrete Optimization with Soft Constraints, https://ulog.udl.cat/static/soft-2025/
And on the 11th we will have:
- LLMs meet Constraint Solving, https://sites.google.com/view/llm-solve
- The 24th workshop on Constraint Modelling and Reformulation (ModRef), https://modref.github.io/ModRef2025.html
- 16th Pragmatics of SAT international workshop, https://www.pragmaticsofsat.org/2025/
- Workshop on Counting, Sampling, and Synthesis, https://mccompetition.org/2025/mcw_description
- International Workshop on Quantified Boolean Formulas and Beyond, https://qbf.pages.sai.jku.at/qbf25/
- The Eighth Workshop on Progress Towards the Holy Grail (PTHG-25), https://freuder.wordpress.com/progress-towards-the-holy-grail-workshops/pthg-25/
Looking forward to welcoming you to Glasgow,
--
Ciaran McCreesh
**********************************************************
*
* 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/
*
**********************************************************
Posts
