SoCS 2025

The 18th International Symposium on Combinatorial Search (SoCS 2025) will be hosted at the University of Glasgow in Scotland, United Kingdom. The conference 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.

Heuristic search and combinatorial optimization are very active research areas in artificial intelligence, robotics, planning, discrete optimization, 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.

SoCS serves researchers and submissions in all fields that use combinatorial search, including artificial intelligence, planning, robotics, constraint programming, meta-reasoning, operations research, navigation, and bioinformatics. We especially invite submissions presenting real-world applications of heuristic search.

SoCS 2024 is kindly supported by:

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