This is the final call for participation for 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). The three conferences will be held together at the University of Glasgow, Scotland, from 12th to 15th August 2025.
Registration closes at the end of this month, and unfortunately we will not be able to accept on-site registrations.
https://cp2025.a4cp.org/registration.html
If you will be attending and have accessibility or dietary requirements, please let us know as soon as possible, even if your registration may take a few more days.
Alongside the three conferences, we also have a joint CP/SAT doctoral programme, and a two day workshop programme on the 10th and 11th August, featuring:
- the 23rd International Workshop on Satisfiability Modulo Theories (SMT)
- the 1st Workshop on Explanations with Constraints and Satisfiability (ExCoS)
- Machine Learning for Solvers and Provers (ML4SP)
- LLMs meet Constraint Solving
- the 24th workshop on Constraint Modelling and Reformulation (ModRef)
- the 16th Pragmatics of SAT international workshop
- the Workshop on Counting, Sampling, and Synthesis
- the International Workshop on Quantified Boolean Formulas and Beyond
- the Eighth Workshop on Progress Towards the Holy Grail (PTHG-25).
There is a single, shared registration fee that will give you access to all three conferences and all of the workshops.
A draft schedule for the conferences is now available, to help you plan your trip.
https://cp2025.a4cp.org/schedule.html
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/
*
**********************************************************