Friday, Dec 10, 2010, at U. of Waterloo
Building Parallelism into a Memory Management System
Jason Selby, Maplesoft Inc. and the University of Waterloo

Friday, Nov 12, 2010, at U. of Western Ontario
An Example of Large Scale Online Ad Auction Analysis with MapReduce Lite
Oleg Golubitsky, Google, Inc.

Friday, Oct 8, 2010, at U. of Western Ontario
Algorithms for Additive and Projective Polynomials
Mark Giesbrecht, University of Waterloo, Canada

Friday, Sep 10, 2010, at U. of Waterloo
Census of polynomials
Joachim von zur Gathen, B-IT, University of Bonn, Germany

Friday, Feb 12, 2010, at U. of Western Ontario
Leveraging Symbolic Computation on Matrices and Piecewise Functions
Alan P. Sexton, University of Birmingham, UK

Friday, Jan 22, 2010, at U. of Waterloo
Integrating Formal Proofs with Software using Dependent Type Theory
Russel O'Connor, McMaster University