SYMSAC: Symposium on Symbolic and Algebraic Manipulation