Friday, Nov 4, 2011, at U. of Western Ontario
L1, a quasi-linear LLL algorithm
Andy Novocin, University of Waterloo

Friday, Sep 16, 2011, at U. of Waterloo
Exact Linear Algebra in LinBox, a status report
B. David Saunders, University of Delaware, USA

Friday, May 13, 2011, at U. of Waterloo
Automatic Proofs of Identities
Bruno Salvy, Projet ALGO, INRIA Rocquencourt, France

Friday, Mar 11, 2011, at U. of Western Ontario
Computing with hyperplane arrangements
Graham Denham, University of Western Ontario

Friday, Jan 14, 2011, at U. of Western Ontario
On Beauty: Rounding Coefficients and Underflowing Terms in Generalized Polynomials
Erik Postma, Maplesoft

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

Friday, Nov 13, 2009, at U. of Western Ontario
A Skew Polynomial Approach to Integro-Differential Operators
J. Middeke, Johannes Keppler University, Linz, Austria

Friday, Oct 9, 2009, at Maplesoft Inc.
Solving Polynomial Systems by the homotopy continuation method
T. Y. Li, Department of Mathematics Michigan State University, USA

Friday, May 29, 2009, at U. of Waterloo.
Modern Mechanized Mathematics
Jacques Carette, McMaster University, Canada

Friday, Mar 13, 2009, at U. of Western Ontario.
Differentiating between Algebra and Analysis
James Davenport, University of Bath, United Kingdom

Friday, Feb 12, 2009, at U. of Waterloo.
What Can Symbolic Computation Do For Programming Languages?
Gabriel Dos Reis, Texas A&M, USA

Friday, Jan 16, 2009, at U. of Western Ontario.
Generating Efficient Numerical Evaluation Routines for Bivariate Functions via Tensor Product Series
Keith Geddes, Cheriton School of Computer Science, University of Waterloo

Thursday, Dec 4, 2008, at MapleSoft, Waterloo, Ontario.
Symbolic Computing for Physical Modeling
Laurent Bernadin, Vice President Research and Development, Maplesoft

Friday, Nov 14, 2008, at U. of Western Ontario.
On polynomials attached to curves
François Morain, Ecole Polytechnique, France.

Friday, Oct 10, 2008, at U. of Waterloo.
The intersection of subfields of K(x)
Michael Zieve, Institute for Advanced Study, Princton, USA.

May 6-9, 2008: The Joint Lab Meeting was part of the
MOCAA M^3 Workshop,
held at the University of Western Ontario.

Friday, March 14, 2008, at U. of Western Ontario.
Adaptive Polynomial Multiplication
Daniel Roche, University of Waterloo.

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.

Friday, December 15, 2006, at Maplesoft, Waterloo, Ontario.
Explorations in characterizing mathematical handwriting
Bruce Char, Drexel University, Philadelphia, USA.

Friday, November 3, 2006, at U. of Western Ontario.
Generating Symmetric FFT Algorithms
Jeremy Johnson, Drexel University, Philadelphia, USA.

Friday, October 13, 2006, at U. of Waterloo.
Effective representation of rankings on partial derivatives
Oleg Golubitsky, University of Western Ontario.

Friday, June 9, 2006, at U. of Waterloo.
Symbolic Computation versus Computer Algebra
Stephen M. Watt, University of Western Ontario.

Thursday, May 11, 2006, at U. of Western Ontario.
Handwriting Interface to Mathematical Expressions
Masakazu Suzuki, Kyushu University.

April 10-12, 2006: The Joint Lab Meeting was part of the
Waterloo Workshop on Computer Algebra,
held at Wilfrid Laurier University in honour of Sergei Abramov.

Thursday, March 9, 2006, at U. of Waterloo.
MITACS Projects at Simon Fraser University
Michael Monagan, Centre for Experimental and Constructive Mathematics, Simon Fraser University.

Thursday, February 9, 2006, at U. of Western Ontario.
Algebra and Algorithms for Invariants and Differential Systems
Evelyne Hubert, INRIA Sophia, France.

Thursday, January 12, 2006, at U. of Western Ontario.
On the Development of Some (hopefully) Fast Algorithms for Solving Polynomial Systems
Eric Schost, Ecole Polytechnique, France.

Friday, December 9, 2005, at Maplesoft, Waterloo, Ontario.

• Inversion of Block Hankel Matrices
  George Labahn, University of Waterloo.
• A rudimentry pen-math system for mathematics on a PC tablet
  Mirette Marzouk, University of Waterloo.

Friday, November 11, 2005, at U. of Western Ontario.
Linear Algebra in Maple
Rob Corless, University of Western Ontario.

Friday, October 14, 2005, at U. of Waterloo.
An interface to link the LinBox Library to Maple
Pascal Giorgi, University of Waterloo.

Friday, September 9, 2005, at U. of Western Ontario.
On the complexity of change of order
Eric Schost, Ecole Polytechnique, France.

Friday, June 3, 2005, at U. of Waterloo.
Taming Apparent Singularities via Ore Closure
Marni Mishna, The Fields Institute.

Friday, April 8, 2005, at U. of Western Ontario.
Languages for High Performance Parallel Scientific Computing
A. D. Kennedy, University of Edinburgh.

Friday, February 11, 2005, at U. of Waterloo.
Maple 10 - Harnessing the Power of Mathematics
Juergen Gerhard, Maplesoft.

Friday, January 14, 2005, at U. of Western Ontario.
MathScheme: A New Approach to Mechanized Mathematics
William M. Farmer, McMaster University.

Tuesday, December 14, 2004, at U. of Waterloo.
Equiprojectable decomposition of zero-dimensional varieties
Marc Moreno Maza, University of Western Ontario.

Friday, November 12, 2004, at U. of Western Ontario.
Engineered algorithms in Linear Algebra
David Saunders, University of Delaware.

Friday, October 8, 2004, at U. of Waterloo.
Odd Perfect Numbers
Kevin Hare, University of Waterloo.

Friday, September 10, 2004, at U. of Western Ontario.
Using Newton Sums in Small Characteristic
Eric Schost, Ecole Polytechnique, France.

Friday, June 4, 2004, at U. of Waterloo.
The State of Maple Numerics
David Linder, Maplesoft

May 2004:
In place of the Joint Lab Meeting, the following events were held in Waterloo/London:

• SONAD 2004 (Southern Ontario Numerical Analysis Day), Sat 1 May at UWO
  MOCAA 2004 (Mathematics of Computer Algebra and Analysis), May 6-7 at UW
• ECCAD 2004 (East Coast Computer Algebra Day) on Sat 8 May at WLU
  

Friday, April 2, 2004, at U. of Western Ontario.
On Polynomial Gcds over Direct Product of Fields
Marc Moreno Maza, University of Western Ontario.

Friday, March 5, 2004, at U. of Waterloo.
The use of inequalities to solve large systems of equations
Thomas Wolf, Brock University.

Friday, February 13, 2004, at U. of Western Ontario.
Modular Factoring of Linear ODEs
Mark Giesbrecht, University of Waterloo.

Friday January 9, 2004, at U. of Waterloo.
Maple development at Maplesoft: Present and Future
Laurent Bernardin, Maplesoft.

Friday, December 5, 2003, at U. of Western Ontario.
Multivariate skew-polynomial rings
Manuel Bronstein, INRIA Sophia-Antipolis, France.

Friday, November 7, 2003, at U. of Waterloo.
Rational Reconstruction
Michael Monagan, Simon Fraser University.

Friday, October 3, 2003, at U. of Western Ontario.

• Implantation and New Applications of the Cartan's Equivalence Method
  Sylvain Neut, Universite de Lille 1, France.
• Differential Geometry, Word Combinatorics and Polylogarithm Functions
  Michel Petitot, University de Lille 1, France.

Friday, September 12, 2003, at U. of Waterloo.
Bi-linear algebraic systems - how they arise and how to approach them
Thomas Wolf, Brock University.

Friday, June 13, 2003, at U. of Waterloo.
High-level Proofs of Mathematical Programs Using Automatic Differentiation, Simplification, and some Common Sense
Richard Fateman, University of California, Berkeley.

Friday, May 9, 2003, at U. of Western Ontario.
A Journey Through an Improbable Land - Tour from I.Newton to I.Tel
Jean Della Dora, LMC-IMAG Grenoble.

Friday, March 7, 2003, at U. of Waterloo.
Standard bases in bifurcation theory
Karin Gatermann, University of Western Ontario.

Friday, February 7, 2003, at U. of Western Ontario.
On the structure of multivariate hypergeometric terms
Marko Petkovsek, University of Ljubljana, Slovenia.

Friday, January 10, 2003, at U. of Waterloo.
Closure, continuity, conditioning and correctness
Rob Corless, University of Western Ontario.

Friday, December 6, 2002, at U. of Western Ontario.
Linear differential equations in exponential extensions
Anne Fredet, Laboratoire GAGE, Ecole Polytechnique, France.

Friday, October 4, 2002, at U. of Western Ontario.
Homotopy explorations in Maple
David Jeffrey, University of Western Ontario.

Friday, September 13, 2002, at U. of Waterloo.

• Symbolic Summation: Algorithms and Missed Opportunities
  Peter Paule, RISC, Johannes Kepler University, Austria.
• Efficient exponentiation in software and hardware
  Joachim von zur Gathen, Universitaet Paderborn, Germany

Friday, July 26, 2002, at U. of Western Ontario.
Matrices for the sparse resultant
Ioannis Z. Emiris, INRIA Sophia-Antipolis, France.

Friday, June 7, 2002, at U. of Waterloo.

• The Monge Problem: from quadrature-free integration of nonlinear ODEs to efficient car parking
  Sergei Tsarev, Krasnoyarsk State University, Krasnoyarsk, Russia.
• Contributions to the Theory of the Multiple Gamma Function
  Victor Adamchik, Carnegie Mellon University, USA.

Friday, May 3, 2002, at U. of Waterloo.

• Plans for Gryphon
  Laurent Bernardin, Maplesoft
• Using symbolic-numeric techniques to deal with offsets of algebraic curves and surfaces
  Laureano Gonzalez Vega, University of Cantabria, Spain.
• Thermodynamics of Van der Waals Mixtures; Symbolic and numerical computations, visualizations using Maple
  A.H.M. Levelt, University of Nijmegen, The Netherlands.

Friday, April 5, 2002, at U. of Western Ontario.
Algorithms and Computer Algebra Library for the Construction of Minimal Telescopers for Summation
Ha Le, University of Waterloo.

Friday, March 8, 2002, at U. of Waterloo.

• A new view of the computational complexity of the numerical solution of ordinary differential equations
  Rob Corless, University of Western Ontario.
• Factoring Zero-dimensional Ideals of Linear Partial Differential Operators
  Ziming Li, University of Waterloo.

Friday, February 8, 2002, at U. of Western Ontario.
High-Order Lifting
Arne Storjohann, University of Waterloo.

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.

Friday, December 1, 2000, at U. of Waterloo.

• An Application of Maple in Engineering
  John McPhee, Systems Design Engineering, University of Waterloo.
• Sparse Resultants of Composed Polynomials
  Manfred Minimair, North Carolina State University

Friday, November 3, 2000, at U. of Western Ontario.

Main Presentation:
Solving BVPs with bvp4c
Xianping Liu, University of Waterloo.

Brief Talks:

• Differential Operators
  Mark Giesbrecht, University of Western Ontario.
• Generalized Companion Matrices
  Gurjeet Litt and Rob Corless, University of Western Ontario.

Friday, October 6, 2000, at U. of Waterloo.

• Halley iteration
  David Jeffrey, University of Western Ontario.
• Implicitization, and comments on the LinearAlgebra Package
  Ilias Kotsireas, University of Western Ontario.

Friday, July 21, 2000, at U. of Waterloo.

• Incorporation of NAG routines into Maple's numerical integration
  Xianping Liu and Keith Geddes, University of Waterloo.
  
• Maple's Orthoseries Package
  Luc Rebillard, University of Waterloo.