ISSAC 2007 is an officially sponsored conference of the Association for Computing Machinery

with financial sponsorship by

Symbolic Computation Group
Cheriton School of Computer Science
University of Waterloo
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
519 888 4567

| http://www.scg.uwaterloo.ca