Challenging the boundaries of symbolic computation : proceedings of the 5th