Proceedings of the second international symposium on Parallel symbolic computation