ISSAC 2007: Waterloo, Ontario, Canada

Contributed papers

Tutorials