2025 Quarterly Report 2

This quarterly report contains reminders on the ACP Summer School and CP conference 2025.

ACP.1: CP 2025 in Glasgow, Scotland

The International Conference on Principles and Practice of Constraint Programming (CP) is the premier annual conference on all aspects of computing with constraints, including theory, algorithms, models, solvers, and a diverse range of applications in machine learning/artificial intelligence, planning, and scheduling, to name a few. This is the 31st version of the CP series organized by the Association for Constraint Programming.

This year, CP will be in Glasgow (Scotland), co-located with the 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025) and the 18th International Symposium on Combinatorial Search (SoCS 2025). Additionally, the SAT/SMT/AR Summer School will be held in St Andrews during the week before the conference.

Invited speakers Ruzica Piskac, Christine Solnon and Sylvie Thiebaux have recently been announced: https://cp2025.a4cp.org/invited-talks.html

Alongside the three conferences, there is a joint CP/SAT doctoral program, 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)

More information at: https://cp2025.a4cp.org/workshops.html

Some competitions and challenges will be held as part of the co-located conferences: The MiniZinc Challenge, The XCSP Competition, The SAT Competition, The Pseudo-Boolean Competition, and The Model Counting Competition: https://cp2025.a4cp.org/competitions.html

A programme overview is available here: https://cp2025.a4cp.org/overview.html

Registration is still possible till 31 July. There is a single, shared registration fee that will give you access to all three conferences and all of the workshops. For details, see: https://cp2025.a4cp.org/registration.html

ACP.2: Summer School 2025

The ACP Summer School 2025 will be in Benin, Africa. It is organized by CP community members Ratheil Houndji and John Aoga.

The dates are set at 25-29 August 2025.

The program includes seminars and hands-on lab sessions from key researchers in the field. See the program and more information at https://school.a4cp.org/summer2025/

ACP.3: Varia

• There was a call for ACP awards for researchers this year: the Research Excellence, Early Career Researcher and Doctoral Research awards. The winners will be announced at the CP 2025 conference.

See you at CP! The ACP executive committee