Milestones in Computer Algebra: MICA 2008.

Schedule of Talks (preliminary)

Thursday, May 1, 2008.
9:00 Opening
9:15-10:15 Invited Talk: Joel Moses. Macsyma: A Personal History.
10:15-10:30 Break
10:30-10:55 Daniel Roche. Adaptive Polynomial Multiplication.
10:55-11:20 Xin Li, Marc Moreno Maza, Raqeeb Rasheed and Eric Schost. The Modpn Library: Bringing Fast Polynomial Arithmetic into Maple.
11:20-11:45 Eng-Wee Chionh. The Maximality of Dixon Matrices on Corner-Cut Monomial Supports by Almost-Diagonality.
11:45-12:10 Stephen Watt. Symbolic Polynomials with Sparse Exponents.
12:10-15:00 Lunch
15:00-16:00 Invited Talk: Michael Monagan. How Fast Can We Multiply and Divide Sparse Polynomials?
16:00-16:30 Tea

Laureano Gonzalez-Vega, R Corless, John C. Butcher, Dhavide A. Aruliah and Azar Shakoori. Barycentric Birkhoff Interpolation.

16:55-17:20 Changbo Chen, Liyun Li, Marc Moreno Maza, Wei Pan and Yuzhen Xie. On the Representation of Constructible Sets.
17:20-17:45 Tateaki Sasaki. Recent Advancement in Multivariate Hensel Construction.
17:45-18:10 Robert Ravenscroft and Ed Lamagna. Summation of Linear Recurrence Sequences.
19:00 Dinner
Friday, May 2, 2008
9:00-10 Invited Talk: Gaston Gonnet. Maple as a Prototyping Language: A Concrete and Successful Experience.
10:00-10:15 Break
10:15-10:40 Gilles Villard. Differentiation of Kaltofen's Division-Free Algorithm.
10:40-11:05 Jean-Guillaume Dumas, Laurent Fousse and Bruno Salvy. Compressed Modular Matrix Multiplication.
11:05-11:30 Wayne Eberly. Black Box Matrix Contributions: Two Improvements.
11:30-11:55 Patrick Davies, Howard Cheng and George Labahn. Computing Popov Form of General Ore Polynomial Matrices.
11:55-15:00 Lunch
15:00-16:00 Invited Talk: Peter Paule. Integrals, Sums and Computer Algebra.
16:00-16:30 Tea
16:30-17:30 Invited Talk: B. David Saunders: Linear Algebra.
19:00 Banquet. Speaker: Jim Cooper. 20 Years and 6 Definitions of Zero Later...
Saturday, May 3, 2008
9:00-10:00 Invited Talk: David Stoutemyer. Ten Commandments for Good Default Expression Simplification.
10:00-10:15 Break
10:15-10:40 Fred Chapman, Bruce Char and Jeremy Johnson. Teaching first-year engineering students with "modern day" Maple.
10:40-11:05 Ales Nemecek and Mirko Navara. Numerical Analysis with Maple.

Anthony Kennedy and Thomas Reiter. Systematic Tensor Simplification:a Diagrammatic Approach.

11:30-11:55 Georg Regensburger. Max-Plus Linear Algebra in Maple and Generalized Solutions for First-Order Ordinary BVPs via Max-Plus Interpolation.
12:10-15:00 Lunch
15:00-16:00 Invited Talk: Jan Verschelde. Tropical Algebraic Geometry in Maple.
16:00-16:30 Tea
16:30-16:55 Petr Lisonek. Computer algebra and experimental mathematics.
16:55-17:20 David Richardson and Werner Krandick. Automatic Regression Test Generation for the SACLIB Computer Algebra Library.
17:20-17:45 Elin Smith and Chris Peterson. Geometric properties of locally minimal energy configurations of points on spheres and special orthogonal groups.

Laureano Gonzalez-Vega and Esmeralda Mainar. Solving the separation problem for two ellipsoids involving only the evaluation of six polynomials.

18:10-18:15 Conference Closing
19:00 Dinner