SoCS 2025
The 18th International Symposium on Combinatorial Search
August 12-15, 2025
University of Glasgow, Scotland, United Kingdom
co-located with CP 2025 and SAT 2025
Photo credits: Glasgow Life
Submissions to the main conference are now closed.
The Doctoral Consortium submission deadline is May 7, 2025 (May 17 for applicants with accepted paper/extended abstract to SoCS 2025).
Speakers of invited talks, the Doctoral Consortium invited talk, and tutorials are published!
Share our conference flyer in PDF
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.