| 2025 | | Eighteenth International Symposium on Combinatorial Search, SOCS 2025, University of Glasgow, Scotland, United Kingdom, August 12-15, 2025 | University of Glasgow | |
| 2025 | | Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop co-located with the 31st International Conference on Principles and Practice of Constraint Programming, the 28th International Conference on Theory and Applications of Satisfiability Testing and the 18th International Symposium on Combinatorial Search (CP 2025 & SAT 2025 & SoCS 2025), Glasgow, UK, August 10-11, 2025. | Glasgow | |
| 2024 | | Seventeenth International Symposium on Combinatorial Search, SOCS 2024, Kananaskis, Alberta, Canada, June 6-8, 2024. | Kananaskis Improvement District | |
| 2023 | | Sixteenth International Symposium on Combinatorial Search, SOCS 2023, Prague, Czech Republic, July 14-16, 2023 | Prague | |
| 2022 | | Proceedings of the Fifteenth International Symposium on Combinatorial Search, SOCS 2022, Vienna, Austria, July 21-23, 2022 | Vienna | |
| 2021 | | Proceedings of the Fourteenth International Symposium on Combinatorial Search, SOCS 2021, Virtual Conference [Jinan, China], July 26-30, 2021 | | |
| 2020 | | Proceedings of the Thirteenth International Symposium on Combinatorial Search, SOCS 2020, Online Conference [Vienna, Austria], 26-28 May 2020 | | |
| 2019 | | Proceedings of the Twelfth International Symposium on Combinatorial Search, SOCS 2019, Napa, California, 16-17 July 2019 SOCS | Napa | 2019-07-16/17 |
| 2018 | | Proceedings of the Eleventh International Symposium on Combinatorial Search, SOCS 2018, Stockholm, Sweden - 14-15 July 2018 SOCS 2018, SOCS | Stockholm | 2018-07-14/15 |
| 2017 | | Proceedings of the Tenth International Symposium on Combinatorial Search, SOCS 2017, 16-17 June 2017, Pittsburgh, Pennsylvania, USA. SOCS | Pittsburgh | 2017-06-16/17 |
| 2016 | | Proceedings of the Ninth Annual Symposium on Combinatorial Search, SOCS 2016, Tarrytown, NY, USA, July 6-8, 2016. SOCS 2016, SOCS | Tarrytown | 2016-07-06/08 |
| 2015 | | Proceedings of the Eighth Annual Symposium on Combinatorial Search, SOCS 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel. SOCS | Dead Sea | 2015-06-11/13 |
| 2014 | | Proceedings of the Seventh Annual Symposium on Combinatorial Search, SOCS 2014, Prague, Czech Republic, 15-17 August 2014. SOCS | Prague | 2014-08-15/17 |
| 2013 | | Proceedings of the Sixth Annual Symposium on Combinatorial Search, SOCS 2013, Leavenworth, Washington, USA, July 11-13, 2013. SOCS | Leavenworth | 2013-07-11/13 |
| 2012 | | Proceedings of the Fifth Annual Symposium on Combinatorial Search, SOCS 2012, Niagara Falls, Ontario, Canada, July 19-21, 2012 SOCS 2012, SOCS | Niagara Falls | 2012-07-19/21 |
| 2011 | | Proceedings of the Fourth Annual Symposium on Combinatorial Search, SOCS 2011, Castell de Cardona, Barcelona, Spain, July 15.16, 2011 SOCS | Castle of Cardona | 2011-07-15 |
| 2010 | | Proceedings of the Third Annual Symposium on Combinatorial Search, SOCS 2010, Stone Mountain, Atlanta, Georgia, USA, July 8-10, 2010 SOCS 2010, SOCS | Atlanta | 2010-07-08/10 |
| 2009 | | Symposium on Combinatorial Search SOCS | Lake Arrowhead | 2009-01-01 |
| 2008 | | Symposium on Combinatorial Search SOCS | Chicago | 2008-01-01 |
