Proceedings of the 4th International Workshop on Parallel and Symbolic Computation