2024 Quarterly Report 4

In this quarterly report 4, we provide updates on AAAI Bridge and the coming two CP conferences.

AAAI25 Bridge

Eugene Freuder and Barry O'Sullivan are organizing the AAAI-25 Constraint Programming and Machine Learning Bridge, part of the AAAI-25 Bridge Program.

The focus will be on bringing together the traditional AI fields of constraint-based reasoning and machine learning, but participants from related fields of reasoning, optimization and learning, e.g. SAT, operations research, data mining, will be welcome.

It is hoped that this one-day Bridge event will help establish an ongoing community, leading to workshops, special issues, etc.

The bridge has multiple tracks. More information: https://aaai.org/conference/aaai/aaai-25/aaai-25-bridge-list/#bp07

ACP.1: CP 2025

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.

The CP 2025 program will include presentations of high quality scientific papers on constraints technology. It will be located in Glasgow, Scotland, at the University of Glasgow.

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

Program chair: María García de la Banda (Monash University)
Conference chairs: Ciaran McCreesh and Blair Archibald (University of Glasgow)
Location: Glasgow, Scotland
Dates: August 10-15, 2025
https://cp2025.a4cp.org

ACP.2: CP 2026

We already share some more information on CP 2026 as well, which will be part of FLoC 2026.

Conference chair: Inês Lynce (University of Lisbon)
Location: Lisbon, Portugal
Dates: July 20-23, 2026