ISSAC 1992: Berkeley, CA, USA