A Tutorial on Handwriting Recognition with a Focus on Mathematics, 6th International Symposium on Symbolic Computation in Software Science (SCSS 2014), Gammarth, La Marsa, Tunisia, December 7-8 2014.
A Modern Software Architecture for Technical Collaboration, 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014), Timisoara, Romania, September 22-25 2014.
Emerging Directions & Thesis Topics (panelist), East Coast Computer Algebra Day (ECCAD 2014), Duke University, Durham NC, USA, April 26 2014.
2013
The More Symbolic, the Better!, Program Verification, Automated Debugging and Symbolic Computation (PAS 2013), Beihang University, Beijing, China, October 23-25 2013.
An Introduction to Modern Symbolic-Numeric Computation, 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2013), Timisoara, Romania, September 23-26 2013.
Connections between Computer Algebra and Computer Security (Panelist), East Coast Computer Algebra Day (ECCAD 2013), US Naval Academy, Annapolis MD, USA, April 27 2013.
Leading Flying Objects, University of Western Ontario Research in Computer Science (UWORCS 2013), London, Canada, April 12 2013.
2012
Laudatio for Bruno Buchberger, 14th International Symposium on Symbolic
and Numeric Algorithms for Scientific Computation (SYNASC 2012), Timisoara, Romania, September 26-29 2012.
What is an Equation?, 14th International Symposium on Symbolic
and Numeric Algorithms for Scientific Computation (SYNASC 2012), Timisoara, Romania, September 26-29 2012.
A Cluster of Languages for Mathematical Computing, Watt 2012 Workshop, Heriot-Watt University, Edinburgh, UK, September 22 2012.
A Cluster of Languages for Mathematical Computing, Annual Conference of the Heilbronn Institute for Mathematical Research, Bristol, UK, September 20-21 2012.
Technical Challenges, Opportunities, Goals, Strategies (Panelist), The Future World Digital Mathematics Library: Plans and Prospects, International Mathematical Union (IMU), National Academy of Science, Washington DC, USA, June 1-3 2012.
Mathematical Search (Panelist), The Future World Digital Mathematics Library: Plans and Prospects, International Mathematical Union (IMU), National Academy of Science, Washington DC, USA, June 1-3 2012.
Writing on Clouds, Computer Science Undergraduate Conference, University of Western Ontario, Canada, March 19 2012.
Approximate Polynomials and Definite Integrals, Fields Institute Workshop on Hybrid Methodologies for Symbolic-Numeric Computation, University of Waterloo, Canada, November 16-19 2011.
Computational Tools for Mathematical Collaboration, 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Universitatea de Vest din Timişoara, Romania, September 26-29 2011.
The Mathematics of Mathematical Handwriting Recognition, MaGiX@LiX Conference, École Polytechnique, Paris, France, September 19-24 2011.
What Can We Learn from Aldor?, MaGiX@LiX Conference, École Polytechnique, Paris, France, September 19-24 2011.
Mathematical Modelling in Mathematical Handwriting Recognition, Laurier Centenary Conference: Applied Mathematics, Modeling and Computational Science Conference 2011, Waterloo, Canada, July 25-29 2011.
Polynomial Approximation in Handwritng Recognition, 4th International Workshop on Symbolic-Numeric Computation (SNC), San Jose, California, June 7-9 2011.
2010
The Mathematics of Mathematical Handwriting Recognition, 12th International Symposium on Symbolic
and Numeric Algorithms for Scientific Computation (SYNASC 2010), Timişoara, Romania, September 23-25 2010.
2009
On the Future of Computer Algebra Systems at the Threshold of 2010, Mathematical Aspects of Computer and Information Sciences (MACIS 2009), Language and Framework, Fukuoka, Japan, December 14-17 2009.
Symbolic Symbolic Computation, Tunisia-Japan Workshop on Symbolic Computation in Software Science, Gammarth, Tunisia, September 22-24 2009.
On the Mathematics of Calligraphy, International Conference On Mathematics Mechanization
-- In honor of professor Wen-Tsun Wu's ninetieth birthday, Key Laboratory of Mathematics Mechanization,
Chinese Academy of Sciences, Beijing, China, May 11-13 2009.
Algorithms for the functional decomposition of symbolic polynomials, Polynomial Computer Algebra 2009, Steklov and Euler International Mathematical Institutes,
St Petersburg, Russia, April 8-12 2009.
The Spectacular Successes and Failures of Symbolic Computation (Panelist), NSF Workshop on Future Directions of Symbolic Computation Research and Their Applications to Domain Science, University of Rhode Island, May 1 2009.
Dependent Types, Multi-Sorted Algebras and Categorical Programming, Applied Computational Category Theory 2009, York, England, March 22 2009.
2008
Functional Decomposition of Symbolic and Multivariate Laurent Polynomials, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timişoara, Romania, September 26-29 2008.
How to Work with Polynomials of Symbolic Degree, Applications of Computer Algebra, RISC, Castle of Hagenberg, Austria, Jul 29 2008.
New Algorithms for Symbolic Polynomials, Second Chinese SALSA Workshop, Beihang University, Beijing, China, Apr 27 2008.
2007
The Role of Categorical Languages, NSF CDI Workshop on the Role of Symbolic, Numeric and Algebraic Computation in Cyber-Enabled Discovery and Innovation, National Science Foundation, Arlington VA, USA, Oct 30 2007.
Respecting Implicit Semantics in Mathematical Markup, ICIAM Session on Web Mathematics, Zurich, Switzerland, July 16 2007.
InkML and Mathematics, 8th OpenMath Meeting, Schloss Hagenberg, Austria, June 26 2007.
Computer Algebra: What is it Now and What Should it be Tomorrow? (Panelist), East Coast Computer Algebra Day, (ECCAD 2007), Washington College, Chesterwown MD USA, April 21 2007.
Type Categories and Mathematical Categories in Aldor, Applied and Computational Category Theory 2007, (ACCAT 2007), Braga, Portugal, March 25 2007.
2006
Mathematics on the Web Roundtable, International Conference on Digital Typography & Electronic
Publishing, (TUG 2006), Marrakech, Morocco, November 11 2006.
Improving Pen-Based Mathematical Interfaces, 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computation, (SYNASC 2006), Timişoara, Romania, September 28 2006.
Algorithms for Symbolic Polynomials, Computer Algebra in Scientific Computing, (CASC 2006), Chişinău, Moldova, September 12 2006.
Using tomorrow's technology today:
Manuel Bronstein's work with computer algebra software, CAFE, Computer Algebra and Functional Equations:
An international conference, in memory of Manuel Bronstein, (CAFE 2006), Sophia Antipolis, France, July 13 2006.
Two Families of Algorithms for Symbolic Polynomials, Challenges in Symbolic Computation Software, Schloss Dagstuhl Seminar, Wadern Germany, July 2 2006.
Making Computer Algebra More Symbolic, Transgressive Computing 2006:
A conference in honor of Jean Della Dora, (TC 2006), Granada, Spain, April 16 2006.
2005
A Context for Pen-Based Mathematical Computing, Internet Accessible Mathematical Computation Workshop, (IAMC 2005), Beijing, China, July 24 2005.
The Road Between Symbolic and Numeric Computing
(after dinner talk), International Workshop on Symbolic-Numeric Computation, (SNC 2005), Xi'an, China, July 20 2005.
2004
Optimizing Compilation for Symbolic-Numeric Computing, 6th International Symposium on Symbolic and Numeric Algorithms
for Scientific Computation, (SYNASC 2004), Timişoara, Romania, September 27 2004.
Strategies for Pen-Based Mathematics, IMACS Applications of Computer Algebra conference, (ACA 2004), Beaumont Texas, USA, July 23 2004.
The Role of OpenMath in High-Level Semantic Correspondences
for Mathematics, 10 Years of OpenMath conference, Helsinki, Finland, May 22 2004.
The History of Computer Algebra in Waterloo
(after dinner talk), 11th Annual East Coast Computer Algebra Day, (ECCAD 2004), Waterloo, Canada, May 8 2004.
Interfaces for Mathematical Components, Conference on the Future of Scientific Computing, CCNY, New York, April 30 2004.
2003
Foundations in Computer Algebra (after dinner talk), International Symposium on Symbolic and Algebraic Computation
, (ISSAC 2003), Philadelphia, USA, August 3-6 2003.
2002
A Study in the Integration of Computer Algebra Systems, International Congress of Mathematical Software, (ICMS), Beijing, China, August 19 2002.
What Lies Ahead for Symbolic Mathematics Systems?, Maple Summer Workshop 2002, Waterloo, Canada, July 29 2002.
Mathematical Communication and the Web, Algebraic Computing in Algebra, Analysis and Geometry
Summer School, Santander, Spain, July 5 2002.
Algebraic Computing with Generics [Aldor], Algebraic Computing in Algebra, Analysis and Geometry
Summer School, Santander, Spain, July 4 2002.
Semantics-Preserving Transformations for
Mathematical Markup, OpenMath Thematic Network Workshop, Nice, France, March 2 2002.
2001
Aldor: The language and recent directions, Workshop on Future Directions in Categorical
Programming Languages, London, Canada, July 26 2001.
Computer Algebra Systems for the Next Decade, International Symposium on Symbolic and Algebraic Computation
, (ISSAC 2001), London Canada, July 24 2001.
Choices in Building Computer Algebra Systems, COCOA VII Conference, Kinsgton Canada, July 20 2001.
What is MathML and Why Should I Care?, Symbolic Linear Algebra Conference, Rabat, Morrocco, May 30 2001.
2000
Automatic Differentiation and Symbolic-Numeric Algorithms
for Polynomials, Automatic Differentiation 2000 Conference, Nice, France, June 21 2000.
1999 and earlier
Software for integrating symbolic and
numeric computation, ICIAM 1999 Minisymposium on Integrating Symbolic and
Numeric Computations, Edinburgh, Scotland, July 9 1999.
Stylesheets for Mathematical Web Pages, IMACS ACA Minisymposium on Mathematics on the Internet, El Escorial, Spain, June 26 1999.
Software Architectures for Mathematical Structures, Conference on Technology in Mathematics Education
at the Secondary and Tertiary Levels, Brock University, St Catharines, Canada, June 4 1999.
On Approximate Polynomial Factorization, SIAM 1998 Minisymposium on Symbolic-Numeric Algorithms for
Polynomials, Toronto, Canada, July 16 1998.
Preconditioning nonlinear constraint systems with
Groebner bases, Workshop on Computer Algebra in Industry, The Fields Institute for Research in Mathematical Sciences,
Toronto, Canada, March 10 1998.
Computer Algebra Systems, COCOA V Conference on Computational Commutative Algebra, Herstmonceaux Castle, East Sussex, England, June 2 1997.
Introduction to the FRISCO Project, FRISCO 1997 Open Workshop, Sophia Antipolis, France, March 18 1997.
Introduction to the FRISCO Project, FRISCO Open Workshop on The Needs of Industry in
Polynomial System Solving, Addlink S.A., Barcelona, Spain, October 23 1996.
Motivations in the Design of Aldor, Computer Algebra Workshop, INFORMATIK'96
(Joint annual meeting of German GI and Austrian CG), Klagenfurt, Austria, September 24 1996.
Le Typage en Calcul Formel, Seminaire Esquisses et Calcul Formel PRC/GDR AMI, Université Paris 6, France, June 20 1996.
Systems Issues in Computer Algebra:
Past, Present and Future, Maths for Information Technology national meeting, Computing Laboratory, Oxford, England, April 16 1996.
The A# Programming Language:
Reconstructing an Algebra System from Elementary Particles, German Axiom Users' Group Meeting, U. Karlsruhe, Germany, March 21 1996.
Programming Language Support For Memory Management, Workshop on Computer Algebra Software, Schloss Dagstuhl, Wadern, Germany, February 6 1996.
What's In A Name?, Colloquium on Languages and Interfaces for
Mathematical Software (NAG Annual General Meeting), Wolfson Building, Oxford, England, Sept 29 1995.
The A# Programming Language and Its Compiler, Workshop on Computational Conformal Geometry, Iraklion, Crete, June 12 1995.
The Five W-s of Symbolic/Numeric Computation, 1995 East Coast Computer Algebra Day, Newark, Delaware, April 8 1995.
A# Programming Language Workshop, (Full day short-course, with Broadbery, Dooley and Steinbach)
Workshop for New Technology for Symbolic Computational Mathematics and
Applications in Research and Education, CAIP Center, Rutgers University, New Jersy, USA, June 10 1994.
The State of the A# Compiler, POSSO Workshop on Software, Paris, France, March 4 1995.
The A# Programming Language and Its Compiler, Workshop on Computational Group Theory, Geometry Center, Univerisy of Minnesota, USA, January 4 1994.
The A# Programming Language and its Compiler, Journées Axiom Meeting, Paris, France, October 26 1993.
The A# Programming Language and its Compiler, Workshop on Application-Specific Symbolic Techniques in High Performance Computing Environments, Fields Institute for Research in Mathematical Sciences, Waterloo, Canada, October 17 1993.
Axiom and A# (three lectures), Second Brazilian School for Computer Algebra, National Laboratory for Scientific Computation (LNCC),
Rio de Janeiro, Brazil, July 22-23 1993.
Algebraic Simplification for Computational Differentiation, Theory Institute on Combinatorial Challenges in Computational Differentiation, Argonne National Laboratory, Illinois, USA, May 24 1993.
The A# Programming Language and Its Compiler, CATHODE ESPRIT Workshop, Han-sur-Lesse, Belgium, March 22 1993.
Programming Structures for Symbolic Computation, IBM Europe Institute, Oberlech, Austria, July 30 1991.
The Scratchpad System for Computer Algebra, Gesellschaft für Informatik Meeting, Munich, Germany, November 1989.
Structures for Computational Algebra in Scratchpad, AMS Meeting, Special session on Computational Algebra, Hoboken NJ, USA, October 21 1989.
Using Scratchpad for Differential Algebra, (Five day short course, with Trager and Bronstein)
Workshop on Symbolic Solution of Differential Equations
, Institute for Mathematics and Its Applications,
Minneapolis MN, USA, June 26-30 1989.
Domain Driven Expression Display in Scratchpad II, Environments for Computational Mathematics, Special Interest Group Meeting, ACM SIGGRAPH Conference, Los Angeles CA, USA, July 30 1987.
Techniques for Parallelism in Computer Algebra, Workshop on Computer Algebra Systems (SMU/Los Alamos/TI), Dallas TX, USA, February 27 1987.
Un cours intensif sur Scratchpad II (six lectures), Journées de Calcul Formel, Luminy, France, June 2-6 1986.
Collusion to Decrease Expected Execution Time, 2nd Annual General Meeting of the Institute for Computer Research, University of Waterloo, Canada, May 2 1983.
The Maple System for Computer Algebra, 1st Annual General Meeting of the Institute for Computer Research, University of Waterloo, Canada, November 4 1982.
Invited Presentations at Universities and Other Organizations
2014
Agorithms for Symbolic Polynomials, Symbolic Computation Seminar Seminar, Simon Fraser University, Canada, November 25 2014.
The Limits of Computation, Science Students' Council Discovery Days, University of Western Ontario, Canada, November 20 2014.
A Modern Software Architecture for Mathematical Collaboration, Symbolic Computation Seminar, North Carolina State University, USA, November 14 2014.
Aspects of Mathematical Handwriting Recognition, Computer Science Seminar, Universidade do Porto, Departamento de Ciência de Computadores, July 11 2014.
Waste Diversion Ontario, Seminar, Matthews Hall School, London, Canada, April 23 2014.
The Mathematics of Mathematical Handwriting Recognition, Marelle Sminar, INRIA Sophia Antipolis, April 4 2014.
Challenges for the Next Decade of Symbolic Mathematical Computation, KLMM Colloquium, Academy of Mathematics and Systems Sciences, Chinese Academy of Sciences, Beijing, February 21 2014.
2013
The Limits of Computation, Science Here and Now Series, London Public Library, London, Canada, April 16 2013.
2012
A Cluster of Langauges for Mathematical Computing, Colloquium, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, October 30 2012.
A Cluster of Langauges for Mathematical Computing, COPLAS Seminar, Department of Computer Science, University of Copenhagen, Denmark, September 7 2012.
Leading Flying Objects, J. W. Graham Medal Colloquium, University of Waterloo, June 14 2012.
2011
Algorithms for Symbolic Polynomials, Computational Mathematics Seminar, Australian National University, Canberra, November 21 2011.
Computer Algebra's Dirty Little Secret, Seminars in Computing and Software, McMaster University, Hamilton, October 19 2011.
The Mathematics of Mathematical Handwriting Recognition, Department of Mathematics Algebra Seminar, University of Western Ontario, Canada, March 4 2011.
ORCCA at Western, Japan Society for Computational Engineering and Science Meeting, University of Waterloo, Faculty of Entineering, February 10 2011.
2010
The Mathematics of Mathematical Handwriting Recognition, CARMA Colloquium, Department of Mathematics, University of Newcastle, Australia, October 16 2010.
The Mathematics of Mathematical Handwriting Recognition, Topical Research in Computer Science Seminar, Universiyt of Western Otnario, September 15 2010.
How to "Win" at University, First Year Residence Program, University of Western Ontario, March 31 2010.
2009
Algorithms for Sympolic Polynomials, Mathematics Colloquium, University of Western Ontario, November 12 2009.
Geometric Methods in Mathematical Handwriting Recognition, Colloquium, Microsoft Development Center, Belgrade, October 1 2009.
The Mathematics of Mathematical Handwriting Recognition, Colloquium, Faculty of Computer Science, University of New Brunswick, Fredericton, June 2 2009.
Computer Algebra's Deep, Dark Secrets (or Why won't Maple do this &%*#@ thing?!?), Maplesoft E-Symposium, Broadcast by Maplesoft, April 15 2009.
Pen-Based Computing, Computer Science Undergraduate Society Day, University of Western Ontario, February 7 2009.
2008
Computer Algebra's Dirty Little Secret, Topical Research in Computer Science Seminar, University of Western Ontario, Nov 5 2008.
Advances in Algorithms for Symbolic Polynomials, Colloquium, Mathematics Department, North Carolina State University, March 19 2008.
Symbolic Polynomials and Symbolic Matrices -- or --
How two simple ideas make arithmetic possible, Joint Lab Meeting, Maplesoft, Waterloo, February 8 2008.
2007
2006
Expression Analysis for Pen-Based Mathematical Interfaces, Colloquium, CS and EE Departments, University Politehnica of Bucharest, September 8 2006.
A Context for Pen-Based Mathematical Computing, Colloquium, Dept of Mathematics, University of Queensland, Brisbane Australia, February 17 2006.
A Context for Pen-Based Mathematical Computing, Colloquium, Dept of Mathematics, University of Sydney, Sydney Australia, February 16 2006.
2005
A Framework for Pen-Based Mathematical Computing, Colloquium, Institute of Software, Chinese Academy of Sciences, Beijing China, July 28 2005.
2004
Strategies for Pen-Based Mathematics, Computer Science Colloquium, Drexel University, Philadelphia, October 13 2004.
2003
Motivations in the Design of Aldor, Colloquium, Chinese Academy of Sciences, Institute for Systems Software,
Beijing China, October 27 2003.
The Current Status of MathML and Math on the Web, Colloquium, Chinese Academy of Sciences,
Mathematics Mechanization Research Institute,
Beijing China, October 24 2003.
The Current Status of MathML and Math on the Web, CoLab Talk, Department of Mathematics, Simon Fraser University,
Burnaby Canada, August 22 2003.
2002
What is MathML and Why Should We Care?, Mathematics Colloquium, North Carolina State University, February 11 2002.
2001
What is MathML and Why Should I Care?, Dept of Applied Mathematics Colloquium, University of Western Ontario, February 13 2001.
2000
Aldor: The language and recent directions, Colloquium, INRIA Sophia Antipolis, France, June 15 2000.
1999 and earlier
Computer Algebra Systems: Past, Present and Future, Mathematical Sciences Interdepartmental Colloquium, University of Western Ontario, London, Canada, February 10 1998.
Lessons in Language Design:
What A# can teach Java, Computer Science Open House, IBM Research, Hawthorne, New York, January 7 1997.
Motivations in the Design of Aldor, Computer Science Colloquium, University of Western Ontario,
London Ontario, Canada, November 4 1996.
The Role of the Chef in French Science, Math Tea, IBM T.J. Watson Research Center,
Yorktown Heights, New York, October 17 1996.
The A# Programming Language:
Reconstructing an Algebra System from Elementary Particles, Colloquium, CERN, Geneva, Switzerland, July 12 1996.
The A# Programming Language:
Reconstructing an Algebra System from Elementary Particles, Computer Algebra Colloquium, GMD, Bonn, Germany, April 9 1996.
The State of the A# Compiler, SAFIR Seminar, INRIA Sophia-Antipolis, France, March 24 1995.
Inside The A# Compiler, Computer Algebra Seminar, ETH Zurich, Switzerland, December 6 1995.
The A# Programming Language and Its Compiler, Computer Science Colloquium, Rensselaer Polytechnic Institute, Troy, New York, December 1 1994.
The A# Programming Language, Its Compiler, and Prospects for Parallel Programs, Algorithms Seminar, Department of Computer and Information Sciences,
University of Delaware, Newark, Delaware, October 24 1994.
Optimizing A Very High Level Language for Scientific Computation, High Performance Computing Colloquium, National Laboratory for Scientific Computation (LNCC),
Rio de Janeiro, Brazil, July 21 1993.
The A# Programming Language and Its Compiler, Numerical Algorithms Group, Limited, Oxford, England, March 18 1993.
The A# Programming Language and Its Compiler, Supercomputer Computation Research Institute Colloquium, Florida State University, Tallahassee, January 17 1993.
Axiom's Programming Language and Compiler, Computer Science Colloquium, Rensselaer Polytechnic Institute, Troy, New York, November 6 1992.
Designs for Symbolic Computation, Computer Science Colloquium, Drexel University, Philadelphia, November 8 1991.
The Scratchpad System for Algorithmic Mathematics, Colloquium, Oak Ridge National Laboratory, Tennessee, May 19 1989.
The Scratchpad II System for Algorithmic Mathematics, Colloquium, Gesellschaft für Mathematik und Datenverarbeitung, Bonn, Germany, November 15 1988.
The Scratchpad II Type System, Computer Science Colloquium, Rensselaer Polytechnic Institute, Troy, New York, October 29 1987.
Techniques for Parallelism in Computer Algebra, Parallel Processing Seminar, Bolt, Baranek and Neumann, Cambridge, Massachusetts, June 26 1987.
A Short Course on Scratchpad II (six lectures), Institute for Computer Research Short Course, University of Waterloo, Canada, May 20-22 1987.
Techniques for Parallelism in Computer Algebra, Computer Science Seminar, Southern Methodist University, Texas, February 27 1987.
Multiple Views and Multiple Inheritance in Scratchpad II, Programming Languages Seminar, IBM T.J. Watson Research Center, Hawthorne, New York, January 16 1987.
The Scratchpad II Abstract Datatype Language and System, Computer Science Colloquium, IBM T.J. Watson Research Center, Hawthorne, New York, December 18 1986.
Scratchpad II -- Un nouveau système de calcul formel, Colloquium, IBM Paris Scientific Center, France, May 30 1986.
Programming Language Aspects of Scratchpad II, Colloquium, City University of New York Graduate Center, New York, April 22 1986.
Scratchpad II -- A new system for computer algebra, IBM--CSRI Meeting, Computer Science Research Institute, University of Toronto, Canada, November 25 1985.
A System for Parallel Computer Algebra Programs, Colloquium, Xerox PARC Computer Science Lab, Palo Alto, California, March 25 1985.
The Maple System for Computer Algebra, Colloquium, University of New Brunswick, Canada, April 11 1983.