ISSAC: International Conference on Symbolic and Algebraic Computation