SoCS 2025

Heuristic search and other forms of combinatorial search and optimization are very active areas of research in artificial intelligence, robotics, planning, constraint programming, meta-reasoning, navigation, bioinformatics, and other areas of computer science and operations research. The International Symposium on Combinatorial Search (SoCS) is meant to bring researchers in such areas together to exchange their ideas and cross-fertilize the field.   We especially invite submissions presenting real-world applications of heuristic search. All accepted papers will be included in the proceedings published by AAAI Press as usual.  

The 18th International Symposium on Combinatorial Search (SoCS 2025) will be hosted at the University of Glasgow in Scotland, United Kingdom, and it will be co-located with 

• The 31st International Conference on Principles and Practice of Constraint Programming (CP 2025) and 

• The 18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025).

 The SoCS conference, together with its doctoral program, will be organized on August 12-15, 2025. 

The joint conference will be organized on August 10-15, 2025, which includes the 23rd International Workshop on Satisfiability Modulo Theories (SMT 2025) held on August 10-11 and the SAT/SMT/AR Summer School in St Andrews during the week before the conference.

SoCS 2025 is kindly supported by:

If you want your logo to appear here, please contact conference chairs.