Proceedings of the 8th Annual Symposium on Combinatorial Search, SoCS 2015 Conference uri icon