“...International Symposium on Symbolic and Algebraic Computation, University of St. Andrews, Scotland...”