Friday, December 7, 2001, at U. of Western Ontario.
The early termination strategies in sparse interpolation and sparse shift algorithms
Wen-shin Lee, University of Waterloo.

Friday, November 2, 2001, at U. of Waterloo.

• Maple 8
  Laurent Bernardin, Maplesoft.
• Symbolic Computations for Chemical Reaction Systems
  Karin Gatermann, Konrad Zuse Centrum, Berlin.

Friday, October 5, 2001, at U. of Western Ontario.
Maplets
Aaron Bruce, Maplesoft.

Friday, September 7, 2001, at U. of Waterloo.

Main Presentation:
Tensor Algebra, Notation, and Finite Groups
Gerrard Liddell, University of Otago, New Zealand.

Brief Talks:

• Integral representation and combinatorial summation
  Eugene Zima, University of Waterloo.
• On detecting relatively prime numerical polynomials
  Claude-Pierre Jeannerod, University of Waterloo.
• Algorithm for computing the nearest singular polynomials
  Lihong Zhi, University of Western Ontario.

Friday, June 29, 2001, at U. of Western Ontario.

• Development Plans for Maple 8
  Jacques Carette, Maplesoft.
• Monodromy of a Riemann surface and absolute factorization of polynomials
  Andre Galligo, University of Nice, France.

Friday, June 8, 2001, at U. of Waterloo.

Main Presentation:
Decomposition Solutions Sets of Polynomial Systems with Homotopies
Jan Verschelde, University of Illinois at Chicago.

Brief Talks:

• Meta style sheets for the conversion of mathematical documents into other forms
  Bill Naylor, University of Western Ontario.
• Integration and Summation
  Yury Brychkov, University of Waterloo.
• Calculating Double Integrals of Singular Functions via Tensor Product Approximation in L^1
  Fred Chapman, University of Waterloo.

Thursday, May 10, 2001, at U. of Western Ontario.

Main Presentation:
SNAP & Self Intersections of Parametrized Surfaces
Andre Galligo, University of Nice, France.

Other Talks:

• A Direct Algorithm to Construct Zeilberger's Recurrences for Rational Functions
  Ha Le, University of Waterloo.
• Integration of Jacobi Elliptic Functions
  Joshua Tam, University of Waterloo.
• Random Symbolic Numeric Methods
  Greg Reid, University of Western Ontario.
• Symbolic Circuit Analysis
  Xiaofang Xie, University of Western Ontario.

Friday, April 6, 2001, at U. of Waterloo.

Main Presentation:
Symbolic Linear Algebra
Arne Storjohann, University of Western Ontario.

Brief Talks:

• Decision Procedures for Linear ODEs having Doubly Periodic Coefficients
  R. Burger, University of Waterloo.
• Implementing a numerical coprime function
  Claude-Pierre Jeannerod, University of Waterloo.

Friday, March 2, 2001, at U. of Western Ontario.
Computational Logic
Ursula Martin, University of St. Andrews, UK.

Friday, February 2, 2001, at U. of Waterloo.

Main Presentations:

• RationalNormalForms package and minimal representation of hypergeometric terms in one variable
  Ha Le, University of Waterloo.
• What is a hypergeometric term in two variables?
  Sergei Abramov, Moscow State University, Russia.

Brief Talks:

• Computing all factorizations in Z_N[x]
  Howard Cheng, University of Waterloo.
• Symbolic Circuit Analysis in Maple
  Xiaofang Xie, University of Western Ontario.
• Mark and sweep garbage collection in Maple
  Stephen Watt, University of Western Ontario.

Friday, January 5, 2001, at U. of Western Ontario.

Main Presentation:
Expressions as Functions
Jacques Carette, Maplesoft.

Brief Talks:

• MathML 2.0
  Stephen Watt, University of Western Ontario.
• Factorization of Ore Operators
  Mark Giesbrecht, University of Western Ontario.
• Integration of Elliptic Functions
  George Labahn, University of Waterloo.