ISSAC 2000: St. Andrews, UK