Call for Participation CP/SAT/SoCS 2025 (early-bird rate until 30th June)
4 views
Skip to first unread message
Jakob Nordström
Jun 11, 2025, 3:03:53 PMJun 11
to SMT mailing list
Dear colleagues,
Registration is now open 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.
Alongside the three conferences, we also have a joint CP/SAT doctoral program, as well as 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)
- the 2nd International Workshop on Discrete Optimization with Soft Constraints
- 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. For details, please see:
https://satisfiability.org/SAT25/local/
Early registration rates end on the 30th June.
We also recommend booking accommodation well in advance, since the World Pipe Band Championships and the Edinburgh Festival are running at the same time as the conference.
Finally, we would like to draw your attention to a related event, the SAT/SMT/AR Summer School, which will also be taking in place in Scotland the week before our conferences:
https://sat-smt-ar-school.gitlab.io/www/2025/
Looking forward to seeing you to Glasgow,
Jeremias Berg and Jakob Nordström
SAT 2025 program committee chairs
Registration is now open 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.
Alongside the three conferences, we also have a joint CP/SAT doctoral program, as well as 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)
- the 2nd International Workshop on Discrete Optimization with Soft Constraints
- 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. For details, please see:
https://satisfiability.org/SAT25/local/
Early registration rates end on the 30th June.
We also recommend booking accommodation well in advance, since the World Pipe Band Championships and the Edinburgh Festival are running at the same time as the conference.
Finally, we would like to draw your attention to a related event, the SAT/SMT/AR Summer School, which will also be taking in place in Scotland the week before our conferences:
https://sat-smt-ar-school.gitlab.io/www/2025/
Looking forward to seeing you to Glasgow,
Jeremias Berg and Jakob Nordström
SAT 2025 program committee chairs
Reply all
Reply to author
Forward
0 new messages