Proceedings of the 9th International Symposium on Symbolic Computation in Software Science