Thursday, November 8, 2007, at U. of Waterloo.
Program Verification by using DISCOVERER
Bican Xia, Peking University.

Friday, October 12, 2007, at U. of Western Ontario.
PAF/NPAF, string sorting and an open problem in Orthogonal Designs
Ilias Kotsireas, Wilfrid Laurier University.

Friday, September 14, 2007, at U. of Waterloo.
Notes about the Matrix Lambert W Function
David Jeffrey, University of Western Ontario.

Friday, March 9, 2007, at U. of Waterloo.
Abstract Matrices in Symbolic Computation
Volker Sorge, University of Birmingham, United Kingdom

Friday, February 9, 2007, at U. of Western Ontario.
Matrix multiplication based computations of the characteristic polynomial
Clement Pernet, University of Waterloo.