Keynote, Plenary and Other Invited Conference Presentations
2026
Computing with Symbolic Domains,
Applications of Computer Algebra, University of Prishtina, June 1-5, 2026.
Geometric Methods for Curve Classification,
Go20 Conference on Scientific Computing and Software, Gozo, Malta, May 18-22, 2026.
2025
Orthogonal Polynomials for Handwriting Recognition,
Computational Algebra, Algebraic Geometry and Applications II, Universidad de Buenos Aires, Argentina, Dec 15-17, 2025.
60 Years of MKM,
MiKo 60, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany, May 17, 2025.
2024
Steps Towards a Global Digital Math Library,
Workshop on Perspectives on Electronic Information & Communication in the Mathematical Sciences, Simons Foundation, New York City, USA, Sept 12-13, 2024.
2023
Two Methods for Efficient Generic Inversion,
5th International Conference on Computer Algebra, Russian Academy of Science, Moscow, Russia, 26-28 June 2023 (by video link).
2021
Questioning the Assumptions Behind Symbolic Computation Systems,
23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timișoara, Romania, 7-20 December 2021 (by video link).
2020
Orthogonal Polynomial Families in Typescript,
Polynomial Computer Algebra 2020, Euler International Mathematics Institute, St Petersburg, Russia, 13 October 2020 (by video link).
Web Technologies for Next Generation Symbolic Computation,
22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timișoara, Romania, 2 September 2020 (by video link).
The Mathematics of Mathematical Handwriting Recognition,
Canadian Undergraduate Mathematics Conference, Western University, London, Canada, 21 August 2020 (by video link).
Progress in Mathematical Information and Knowledge Bases,
Joint Mathematics Meetings (AMS, MAA) Special Session Mathematical Information in the Digital Age of Science, Denver CO, USA, 19 January 2020.
2019
A Review of Algorithms on Symbolic Domains,
21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timișoara, Romania, 4-7 September 2019.
The NASA Effect of a Global Digital Math Library,
Big Proof, International Centre for Mathematical Sciences, Edinburgh, Scotland, 31 May 2019.
Feature Extraction from Legendre-Sobolev Approximations of Handwritten Characters,
International Symposium on Wen-Tsun Wu's Academic Thought and Mathematics Mechanization, Academy of Mathematics and Systems Science, Beijing, China, 17 May 2019.
Feature Extraction using Legendre-Sobolev Approximations for Handwritten Mathematical Characters,
Polynomial Computer Algebra 2019, Euler International Mathematics Institute, St Petersburg, Russia, 18 April 2019.
Innovation with Purpose (panelist),
Waterloo Innovation Summit, Canada House, Trafalgar Square, London, UK, 18 February 2019.
2018
International Mathematical Knowledge Trust -- IMKT (panelist): An update on the global digital mathematics library,
International Congress of Mathematicians, Rio de Janeiro, Brazil, 7 August 2018.
2017
Waterloo and the Future of Online STEM Education,
Transforming Online Stem Education, Torino, Italy, 12 October 2017.
Computer Algebra in Online STEM Education,
Applications of Computer Algebra, Jerusalem, 17-21 July 2017.
Toward Gröbner Bases of Symbolic Polynomials,
Mathematical Congress of the Americas, Applied and Computational ALgebraic Geometry Session, Montreal, Canada, 24-28 July 2017.
Mathematical Knowledge at Scale,
Computer Aided Mathematical Proof, Isaac Newton Institute, Cambridge, UK, 10-14 July 2017.
Algorithms for Symbolic Polynomials,
Algebraic Algorithms and Applications, Pisa, Italy, 30 March-1 April 2017.
2016
Waterloo and the Future of Online STEM Education,
Transforming Online Stem Education, Vienna, Austria, 19-21 October 2016.
How Can We Build a Global Digital Mathematics Library?,
18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), University of the West, Timișoara, Romania, 24-27 September 2016.
The Mathematics of Planet W,
Celebrating 20 Years of the Lambert W Function, London, Canada, 25-28 July 2016.
ISSAC 50 Years: 1996-2016,
International Symposium on Symbolic and Algebraic Computation 2016, Waterloo, Canada, 19-22 July 2016.
Sixty Years of Erich Katofen,
Milestones in Computer Algebra 2016, Waterloo, Canada, 16-18 July 2016.
Toward an International Mathematical Knowledge Base,
International Congress on Mathematical Software, Berlin, Germany, 11-15 July 2016.
Cybersecurity -- The Waterloo Dimension,
Protecting Your Financial Data vie Cryptography and Other Cybersecurity Strategies, General Chamber of Commerce, Hong Kong, 19 May 2016.
Optimization and Homotopy in Mathematical Handwriting Recognition,
South Pacific Optimization Workshop, Nouméa, New Caledonia, 16-18 February 2016.
Putting the "Symbolic" into Symbolic Computation: Toward a Semantic Representation for the World Mathematical Heritage,
Semantic Representation of Mathematical Knowledge Workshop, The Fields Institute, Toronto, Canada, 3-5 February 2016.
Assembling the World's Mathematical Knowledge,
Mathematical Information in the Digital Age of Science Session, AMS/MAA Joint Mathematics Meetings, Seattle, USA, 6-9 January 2016.
2015
Generalized Inclusion-Exclusion: Reducing complexity by borrowing,
17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2015), University of the West, Timișoara, Romania, 21-24 September 2015.
At the Interface between Symbolic and Numeric Computation,
Third Workshop on Hybrid Methodologies for Symbolic-Numeric Computation (HMSNC 2015), Beijing, China, 10-14 August 2015.
Mathematical Modelling for Mathematical Handwriting Recognition,
4th Summer School in Symbolic Computation (SSSC 2015), Beihang University, Beijing, China, 3-9 August 2015.
Three Problems at the Frontier of Computer Algebra,
Annual General Meeting, Fields Institute for Research in Mathematical Sciences, 25 June 2015.
Sparsity with Symbolic Polynomials: Algorithms and Current Directions,
Sparse Modelling and Multi-exponential Analysis, Dagstuhl, Germany, 14-19 June 2015.
InkChat,
Teaching with Technology, Western University, Canada, 21 May 2015.
Algorithms for Symbolic Polynomials, Matrices and Domains,
Polynomial Computer Algebra (PCA 2015), Euler International Mathematical Institute, St. Petersburg, Russia, 13-18 April 2015.
Algorithms for Symbolic Polynomials, Matrices and Domains,
2nd International Conference on Numerical and Symbolic Computation: Developments and Applications, Faro, Algarve, Portugal, 26-27 March 2015.
2014
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, 7-8 December 2014.
A Modern Software Architecture for Technical Collaboration,
16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014), University of the West, Timișoara, Romania, 22-25 September 2014.
Emerging Directions & Thesis Topics (panelist),
East Coast Computer Algebra Day (ECCAD 2014), Duke University, Durham NC, USA, 26 April 2014.
2013
The Limits of Computation,
Forum in Mathematics, Informatics and Culture, Fifth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2013), Nanning, China, 9-10 December, 2013.
The More Symbolic, the Better!,
Program Verification, Automated Debugging and Symbolic Computation (PAS 2013), Beihang University, Beijing, China, 23-25 October 2013.
An Introduction to Modern Symbolic-Numeric Computation,
15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2013), University of the West, Timișoara, Romania, 23-26 September 2013.
Connections between Computer Algebra and Computer Security (Panelist),
East Coast Computer Algebra Day (ECCAD 2013), US Naval Academy, Annapolis MD, USA, 27 April 2013.
Leading Flying Objects,
University of Western Ontario Research in Computer Science (UWORCS 2013), London, Canada, 12 April 2013.
2012
Laudatio honouring Bruno Buchberger on the occasion of his 70th birthday,
14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computation (SYNASC 2012), Timișoara, Romania, 26-29 September 2012.
What is an Equation?,
14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computation (SYNASC 2012), Timișoara, Romania, 26-29 September 2012.
A Cluster of Languages for Mathematical Computing,
The Watt Workshop on Symbolic Computation (Scottish Parallel Computational Mathematics Meeting), Heriot-Watt University, Edinburgh, UK, 22 Sept 2012.
A Cluster of Languages for Mathematical Computing,
Annual Conference of the Heilbronn Institute for Mathematical Research, Bristol, UK, 20-21 Sept 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, 1-3 June 2012.
Mathematical Search (Panelist),
The Future World Digital Mathematics Library: Plans and Prospects, International Mathematical Union (IMU), National Acad. Science, Washington DC, USA, 1-3 June 2012.
Writing on Clouds,
Computer Science Undergraduate Conference, Western University, Canada, 19 Mar 2012.
Approximate Polynomials and Definite Integrals,
Fields Institute Workshop on Hybrid Methodologies for Symbolic-Numeric Computation, University of Waterloo, Canada, 16-19 November 2011.
Computational Tools for Mathematical Collaboration,
13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Universitatea de Vest din Timișoara, Romania, 26-29 September 2011.
The Mathematics of Mathematical Handwriting Recognition,
MaGiX@LiX Conference, École Polytechnique, Paris, France, 19-24 September 2011.
What Can We Learn from Aldor?,
MaGiX@LiX Conference, École Polytechnique, Paris, France, 19-24 September 2011.
Mathematical Modelling in Mathematical Handwriting Recognition,
Laurier Centenary Conf.: Applied Mathematics, Modeling and Computational Science Conference, Waterloo, Canada, 25-29 July 2011.
Polynomial Approximation in Handwriting Recognition,
4th International Workshop on Symbolic-Numeric Computation (SNC 2011), San Jose, California, 7-9 June 2011.
2010
The Mathematics of Mathematical Handwriting Recognition,
12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computation (SYNASC 2010), Timișoara, Romania, 23-26 September 2010.
2009
On the Future of Computer Algebra Systems at the Threshold of 2010,
Mathematical Aspects of Computer and Information Sciences (MACIS 2009), Software Science Session, Fukuoka, Japan, 14-17 December 2009.
Symbolic Symbolic Computation,
Tunisia-Japan Workshop on Symbolic Computation in Software Science, Gammarth, Tunisia, 22-24 September 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, 11-13 May 2009.
Algorithms for the Functional Decomposition of Symbolic Polynomials,
Polynomial Computer Algebra 2009, Steklov and Euler International Mathematics Institutes, St Petersburg, Russia, 8-12 April 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, 1 May 2009.
Dependent Types, Multi-Sorted Algebras and Categorical Programming,
Applied Computational Category Theory 2009, York, England, 22 March 2009.
2008
How to Work with Polynomials of Symbolic Degree,
International Conference on Applications of Computer Algebra (ACA 2008), RISC, Castle of Hagenberg, Austria, 27-30 July 2008.
New Algorithms for Symbolic Polynomials,
Second Chinese SALSA Workshop, Beihang University, Beijing, China, 25-27 April 2008.
2007
The Role of Categorical Languages,
NSF CDI Workshop on the Role of Symbolic, Numeric and Algebraic Computation in Cyber-Enabled Discovery and Inovation, National Science Foundation, Arlington VA, USA, 30-31 October 2007.
Respecting Implicit Semantics in Mathematical Markup,
ICIAM Session on Web Mathematics, Zurich, Switzerland, 16-20 July 2007.
InkML and Mathematics,
8th OpenMath Meeting, Schloss Hagenberg, Austria, 26 Jun 2007.
Computer Algebra: What is it Now and What Should it be Tomorrow? (Panelist),
\ Coast Computer Algebra Day, Washington College, Chesterwown MD USA, 21 April 2007.
Type Categories and Mathematical Categories in Aldor,
Applied and Computational Category Theory 2007 (ACCAT 2007), Braga, Portugal, 25 March 2007.
2006
Mathematics on the Web Roundtable,
International Conference on Digital Typography & Electronic Publishing (TUG 2006), Marrakech, Morocco, 11 Nov 2006.
Improving Pen-Based Mathematical Interfaces,
8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computation (SYNASC 2006), Timișoara, Romania, 28 September 2006.
Algorithms for Symbolic Polynomials,
Computer Algebra in Scientific Computing 2006 (CASC 2006), Chișinău, Moldova, 12 September 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, 13 July 2006.
Two Families of Algorithms for Symbolic Polynomials,
Challenges in Symbolic Computation Software, Schloss Dagstuhl Seminar, Wadern Germany, 2 July 2006.
Making Computer Algebra More Symbolic,
Transgressive Computing 2006: A conference in honor of Jean Della Dora (TC 2006), Granada, Spain, 16 April 2006.
2005
InkML,
Special Session -- International Conference on Document Analysis and Recognition, Seoul, South Korea, 31 Aug 2005.
A Context for Pen-Based Mathematical Computing,
Internet Accessible Mathematical Computation (IAMC 2005), Beijing, China, 24 July 2005.
The Road Between Symbolic and Numeric Computing (after dinner talk),
International Workshop on Symbolic-Numeric Computation (SNC 2005), Xi'an, China, 20 July 2005.
2004
Optimizing Compilation for Symbolic-Numeric Computing,
6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computation (SYNASC 2004), Timișoara, Romania, 27 Sept 2004.
Strategies for Pen-Based Mathematics,
IMACS Applications of Computer Algebra conference (ACA 2004), Beaumont Texas, USA, 23 July 2004.
The Role of OpenMath in High-Level Semantic Correspondences for Mathematics,
10 Years of OpenMath conference, Helsinki, Finland, 22 May 2004.
The History of Computer Algebra in Waterloo (after dinner talk),
East Coast Computer Algebra Day, Waterloo, Canada, 8 May 2004.
Interfaces for Mathematical Components,
Future of Scientific Computing, CCNY, New York, 30 Apr 2004.
2003
Foundations in Computer Algebra (after dinner talk),
ISSAC 2003, Philadelphia, USA, 5 Aug 2003.
2002
A Study in the Integration of Computer Algebra Systems,
International Congress of Mathematical Software, Beijing, China, 19 Aug 2002.
What Lies Ahead for Symbolic Mathematics Systems?,
Plenary presentation, Maple Summer Workshop 2002, Waterloo, Canada, 29 Jul 2002.
Mathematical Communication and the Web,
Algebraic Computing in Algebra, Analysis and Geometry Summer School, Santander, Spain, 5 Jul 2002.
Algebraic Computing with Generics [Aldor],
Algebraic Computing in Algebra, Analysis and Geometry Summer School, Santander, Spain, 4 Jul 2002.
Semantics-Preserving Transformations for Mathematical Markup,
OpenMath Thematic Network Workshop, Nice, France, 2 Mar 2002.
2001
Aldor: The language and recent directions,
Plenary presentation, Workshop on Future Directions in Categorical Programming Languages, London, Canada, 26 Jul 2001.
Computer Algebra Systems for the Next Decade,
Plenary presentation, ISSAC 2001, London Canada, 24 July 2001.
Choices in Building Computer Algebra Systems,
Plenary presentation, COCOA VII Conference, Kinsgton Canada, 20 July 2001.
What is MathML and Why Should I Care?,
Symbolic Linear Algebra Conference, Rabat, Morocco, 30 May 2001.
2000
Automatic Differentiation and Symbolic-Numeric Algorithms for Polynomials,
Plenary presentation, AD 2000 Conference, Nice, France, 21 Jun 2000.
1999
Software for integrating symbolic and numeric computation,
ICIAM 1999 Minisymposium on Integrating Symbolic and Numeric Computations, Edinburgh, Scotland, 9 Jul 1999.
Stylesheets for Mathematical Web Pages,
IMACS ACA Minisymposium on Mathematics on the Internet, El Escorial, Spain, 26 Jun 1999.
Software Architectures for Mathematical Structures,
Plenary presentation, Conference on Technology in Mathematics Education at the Secondary and Tertiary Levels, Brock University, St Catharines, Canada, 4 Jun 1999.
1998
On Approximate Polynomial Factorization,
SIAM 1998 Minisymposium on Symbolic-Numeric Algorithms for Polynomials, Toronto, Canada, 16 Jul 1998.
Preconditioning nonlinear constraint systems with Groebner bases,
Workshop on Computer Algebra in Industry, The Fields Institute for Research in Mathematical Sciences, Toronto, Canada, 10 Mar 1998.
1997
Computer Algebra Systems,
Plenary presentation, COCOA V Conference on Computational Commutative Algebra, Herstmonceaux Castle, East Sussex, England, 2 Jun 1997.
Introduction to the FRISCO Project,
FRISCO 1997 Open Workshop, Sophia Antipolis, France, 18 Mar 1997.
1996
Introduction to the FRISCO Project,
FRISCO Open Workshop on The Needs of Industry in Polynomial System Solving, Addlink, Barcelona, Spain, 23 Oct 1996.
Motivations in the Design of Aldor,
Computer Algebra Workshop, INFORMATIK'96 (Joint annual meeting of German GI and Austrian CG), Klagenfurt, Austria, 24 Sep 1996.
Le typage en Calcul Formel,
Seminaire "Esquisses et Calcul Formel" PRC/GDR AMI, Université Paris 7, France, 20 Jun 1996.
Systems Issues in Computer Algebra -- Past, Present and Future,
Maths for Information Technology national meeting, Computing Laboratory, Oxford, England, 16 Apr 1996.
The A♯ Programming Language: Reconstructing an Algebra System from Elementary Particles,
German Axiom Users' Group Meeting, U. Karlsruhe, Germany, 21 Mar 1996.
Programming Language Support For Memory Management,
Workshop on Computer Algebra Software, Schloss Dagstuhl, Wadern, Germany, 6 Feb 1996.
1995
What's In A Name?,
Colloquium on Languages and Interfaces for Mathematical Software -- NAG Annual General Meeting, Wolfson Building, Oxford, England, 29 Sept 1995.
The A♯ Programming Language and Its Compiler,
Workshop on Computational Conformal Geometry, Iraklion, Crete, 12 June 1995.
The Five W-s of Symbolic/Numeric Computation,
Plenary presentation, 1995 East Coast Computer Algebra Day, Newark, Delaware, 8 Apr 1995.
The State of the A♯ Compiler,
POSSO Workshop on Software, Paris, France, 4 Mar 1995.
1991
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 Jersey, 10 Jun 94.
Programming Structures for Symbolic Computation,
Plenary Presentation, IBM Europe Institute, Oberlech, Austria, 30 Jul 1991.
1994
The A♯ Programming Language and Its Compiler,
Workshop on Computational Group Theory, Geometry Center, Univerisy of Minnesota, 4 Jan 1994.
1993
The A♯ Programming Language and its Compiler,
Journées Axiom Meeting, Paris, France, 26 Oct 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, 17 Oct 1993.
Axiom and A♯: Computer Algebra with Abstract Datatypes,
Short course of three lectures, Second Brazilian School for Computer Algebra, National Laboratory for Scientific Computation (LNCC), Rio de Janeiro, Brazil, 22-23 Jul 1993.
Algebraic Simplification for Computational Differentiation,
Theory Institute on Combinatorial Challenges in Computational Differentiation, Argonne National Laboratory, Illinois, 24 May 1993.
The A♯ Programming Language and Its Compiler,
CATHODE ESPRIT Workshop, Han-sur-Lesse, Belgium, 22 Mar 1993.
1989
The Scratchpad System for Computer Algebra,
Gesellschaft für Informatik Meeting, Munich, Germany, Nov 1989.
Structures for Computational Algebra in Scratchpad,
Special session on Computational Algebra, AMS Meeting, Hoboken, New Jersey, 21 Oct 1989.
Using Scratchpad for Differential Algebra,
Five day short course, with Trager and Bronstein, Institute for Mathematics and its Applications, Workshop on Symbolic Solution of Differential Equations, Minnesota, 26-30 Jun 1989.
1987
Domain Driven Expression Display in Scratchpad II,
Environments for Computational Mathematics, Special Interest Group Meeting, ACM SIGGRAPH Conference, Los Angeles, California, 30 Jul 1987.
Techniques for Parallelism in Computer Algebra,
Workshop on Computer Algebra Systems (SMU/Los Alamos/TI), Dallas, Texas, 27 Feb 1987.
1986
Un cours intensif sur Scratchpad II,
Six lectures, Journées de Calcul Formel, Luminy, France, 2-6 Jun 1986.
1985
Scratchpad II -- A new system for computer algebra,
IBM--CSRI Meeting, Computer Science Research Institute, University of Toronto, Canada, 25 Nov 1985.
1983
Collusion to Decrease Expected Execution Time,
Research Presentation, 2nd Annual General Meeting of the Institute for Computer Research, University of Waterloo, Canada, 2 May 1983.
1982
The Maple System for Computer Algebra,
Research Presentation, 1st Annual General Meeting of the Institute for Computer Research, University of Waterloo, Canada, 4 Nov 1982.
Invited Presentations at Universities and Other Organizations
2026
A Review of Algorithms for Symbolic Domains,
Seminar on Theoretical Computer Science and Discrete Mathematics, Aristotle University of Thessaloniki, Greece, 28 May 2026.
2025
Polynomial Representations for Mathematical Handwriting Recognition,
Faculty of Computer Science Colloquium, Dalhousie University, Nova Scotia, Canada, 14 October 2025.
2019
The Mathematics of Mathematical Handwriting Recognition,
Distinguished Speaker Series, College of Computing and Informatics, Drexel University, Philadelphia, USA, 6 May 2019.
2018
The Mathematics of Mathematical Handwriting Recognition,
Annual General Meeting Plenary Lecture, Numerical Algorithms Group Ltd, Oxford, UK, 21 Sept 2018.
Knowledge Management for Digital Math Libraries,
ADA University Colloquium, Baku, Azerbaijan, 20 April 2018.
Mathematical Knowledge at Scale,
Computer Algebra Colloquium, Academy of Mathematics and Systems Sciences, Chinese Academy of Sciences, Beijing, China, 22 March 2018.
2017
The Mathematics of Mathematical Handwriting Recognition,
Mathematics Colloquium, Dipartimento de Matematica "Giuseppe Peano", Università degli Studi di Torino, Italy, 13 October 2017.
2016
Challenges in Building a Global Digital Mathematics Library,
Distinguished Lecturer, National Center for Mathematics and Interdisciplinary Sciences, Beijing, 15 November 2016.
The Mathematics of Mathematical Handwriting Recognition,
Applied Mathematics Seminar, McGill University, Montreal, Canada, 25 January 2016.
2015
Recognition and Collaboration with Mathematical Handwriting,
Computer Science Seminar, Pohang University of Science and Technology, 27 November 2015.
2014
Algorithms for Symbolic Polynomials, Matrices and Domains,
Symbolic Computation Seminar, Simon Fraser University, 25 November 2014.
The Limits of Computation,
Discovery Week Plenary, Science Students' Council, University of Western Ontario, Canada, 20 November, 2014.
A Modern Software Architecture for Mathematical Collaboration,
Symbolic Computation Seminar, North Carolina State University, 14 November 2014.
Aspects of Mathematical Handwriting Recognition,
Computer Science Seminar, Universidade do Porto, Departamento de Ciência de Computadores, 11 July 2014.
Waste Diversion in Ontario,
Seminar, Matthews Hall School, London Ontario, 23 April 2014.
The Mathematics of Mathematical Handwriting Recognition,
Marelle Seminar, INRIA Sophia Antipolis, 4 April 2014.
Challenges for the Next Decade of Symbolic Mathematical Computing Systems,
KLMM Colloquium, Academy of Mathematics and System Sciences, Chinese Academy of Sciences, Beijing, 21 February 2014.
2013
Identifying Features via Optimization and Homotopy on Handwritten Mathematical Symbols,
KLMM Colloquium, Academy of Mathematics and System Sciences, Chinese Academy of Sciences, Beijing, 22 October 2013.
The Limits of Computation,
Science Here and Now Series, London Public Library (Ontario), 16 April 2013.
The Mathematics of Mathematical Handwriting Recognition,
Computer Science Colloquium, University of Miami, 23 Jan 2013.
2012
A Cluster of Languages for Mathematical Computing,
Colloquium, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China, 30 Oct 2012.
A Cluster of Languages for Mathematical Computing,
COPLAS Seminar, Department of Computer Science, University of Copenhagen, Denmark, 7 Sept 2012.
Leading Flying Objects,
J. W. Graham Medal Colloquium, University of Waterloo, Canada, 14 June 2012.
2011
Algorithms for Symbolic Polynomials,
Computational Mathematics Seminar, Australian National University, Canberra, 21 Nov 2011.
Computer Algebra's Dirty Little Secret,
Seminars in Computing and Software, McMaster University, 19 Oct 2011.
The Mathematics of Mathematical Handwriting Recognition,
Algebra Seminar, Dept of Mathematics, University of Western Ontario, 4 March 2011.
ORCCA at Western,
Japan Society for Computational Engineering and Sciences Meeting, University of Waterloo, Faculty of Engineering, 10 February 2011.
2010
The Mathematics of Mathematical Handwriting Recognition,
CARMA Colloqium, Dept of Mathematics, University of Newcastle, Australia, 16 October 2010.
The Mathematics of Mathematical Handwriting Recognition,
Topical Research in Computer Science Seminar, University of Western Ontario, London, Canada, 15 Sept 2010.
How to "Win" at University,
First Year Residence Program, University of Western Ontario, London, Canada, 31 March 2010.
2009
Algorithms for Symbolic Polynomials,
Colloquium, Mathematics Department, University of Western Ontario, Canada, 12 Nov 2009.
Geometric Methods in Mathematical Handwriting Recognition,
Colloquium, Microsoft Development Center, Belgrade, Serbia, 1 Oct 2009.
The Mathematics of Mathematical Handwriting Recognition,
Colloquium, Faculty of Computer Science, University of New Brunswick, Fredericton, Canada, 2 June 2009.
Computer Algebra's Deep, Dark Secrets (or Why Won't Maple do this thing?!?),
Maplesoft E-Symposium, Broadcast by Maplesoft, 15 Apr 2009.
Pen-Based Computing,
Computer Science Undergraduate Society Day, University of Western Ontario, London, Canada, 7 Feb 2009.
2008
Computer Algebra's Dirty Little Secret,
Topical Research in Computer Science Seminar, University of Western Ontario, London, Canada, 5 Nov 2008.
Advances in Algorithms for Symbolic Polynomials,
Colloquium, Mathematics Department, North Carolina State University, 19 Mar 2008.
Symbolic Polynomials and Symbolic Matrices -- or -- How two simple ideas make arithmetic possible,
Joint Lab Meeting, Maplesoft, Waterloo, Canada, 8 Feb 2008.
2006
Expression Analysis for Pen-Based Mathematical Interfaces,
Colloquium, CS and EE Departments, University Politehnica of Bucharest, 8 Sept 2006.
A Context for Pen-Based Mathematical Computing,
Colloquium, Dept of Mathematics, University of Queensland, Brisbane Australia, 17 Feb 2006.
A Context for Pen-Based Mathematical Computing,
Colloquium, Dept of Mathematics, University of Sydney, Sydney Australia, 16 Feb 2006.
2005
A Framework for Pen-Based Mathematical Computing,
Colloquium, Institute of Software, Chinese Academy of Sciences, Beijing, 28 Jul 2005.
2004
Strategies for Pen-Based Mathematics,
Computer Science Colloquium, Drexel University, Philadelphia, 13 Oct 2004.
Compiling Aldor,
France Day Symposium, University of Western Ontario, 29 Jan 2004.
2003
Motivations in the Design of Aldor,
Colloquium, Institute for Systems Software, Chinese Academy of Sciences, Beijing, 27 Oct 2003.
The Current Status of MathML and Math on the Web,
Colloquium, Mathematics Mechanization Research Institute, Chinese Academy of Sciences, Beijing, 24 Oct 2003.
The Current Status of MathML and Math on the Web,
CoLab Talk, Department of Mathematics, Simon Fraser University, Canada, 22 Aug 2003.
2002
What is MathML and Why Should We Care?,
Mathematics Colloquium, North Carolina State University, 11 Feb 2002.
2001
What is MathML and Why Should I Care?,
Dept of Applied Mathematics Colloquium, University of Western Ontario, 13 Feb 2001.
2000
Aldor: The language and recent directions,
INRIA, Sophia Antipolis, France, 15 Jun 2000.
1998
Computer Algebra Systems: Past, Present and Future,
Mathematical Sciences Interdepartmental Colloquium, University of Western Ontario, London, Canada, 10 Feb 1998.
1997
Lessons in Language Design: What A♯ can teach Java,
Computer Science Open House, IBM Research, Hawthorne, New York, 7 Jan 1997.
1996
Motivations in the Design of Aldor,
Computer Science Colloquium, University of Western Ontario, London, Ontario, Canada, 4 Nov 1996.
The Role of the Chef in French Science,
Math Tea, IBM T.J. Watson Research Center, Yorktown Heights, New York, 17 Oct 1996.
The A♯ Programming Language: Reconstructing an Algebra System from Elementary Particles,
Seminar, CERN, Geneva, Switzerland, 12 Jul 1996.
The A♯ Programming Language: Reconstructing an Algebra System from Elementary Particles,
Computer Algebra Colloquium, GMD, Bonn, Germany, 9 Apr 1996.
1995
Inside The A♯ Compiler,
Computer Algebra Seminar, ETH Zurich, Switzerland, 6 Dec 1995.
The State of the A♯ Compiler,
SAFIR Seminar, INRIA Sophia-Antipolis, France, 24 Mar 1995.
1994
The A♯ Programming Language and Its Compiler,
Computer Science Colloquium, Rensselaer Polytechnic Institute, Troy, New York, 1 Dec 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, 24 Oct 1994.
1993
Optimizing A Very High Level Language for Scientific Computation,
High Performance Computing Colloquium, National Laboratory for Scientific Computation (LNCC), Rio de Janeiro, Brazil, 21 Jul 1993.
The A♯ Programming Language and Its Compiler,
Numerical Algorithms Group, Limited, Oxford, England, 18 Mar 1993.
The A♯ Programming Language and Its Compiler,
Supercomputer Computation Research Institute Colloquium, Florida State University, Tallahassee, 17 Jan 1993.
1992
Axiom's Programming Language and Compiler,
Computer Science Colloquium, Rensselaer Polytechnic Institute, Troy, New York, 6 Nov 1992.
1991
Designs for Symbolic Computation,
Computer Science Colloquium, Drexel University, Philadelphia, 8 Nov 1991.
1989
The Scratchpad System for Algorithmic Mathematics,
Colloquium, Oak Ridge National Laboratory, Tennessee, 19 May 1989.
1988
The Scratchpad II System for Algorithmic Mathematics,
Colloquium, Gesellschaft für Mathematik und Datenverarbeitung, Bonn, Germany, 15 Nov 1988.
1987
The Scratchpad II Type System,
Computer Science Colloquium, Rensselaer Polytechnic Institute, Troy, New York, 29 Oct 1987.
Techniques for Parallelism in Computer Algebra,
Parallel Processing Seminar, Bolt, Baranek and Neumann, Cambridge, Massachusetts, 26 Jun 1987.
A Short Course on Scratchpad II,
Six lectures, Institute for Computer Research, University of Waterloo, Canada, 20-22 May 1987.
Techniques for Parallelism in Computer Algebra,
Computer Science Seminar, Southern Methodist University, Texas, 27 Feb 1987.
Multiple Views and Multiple Inheritance in Scratchpad II,
Programming Languages Seminar, IBM T.J. Watson Research Center, Hawthorne, New York, 16 Jan 1987.
1986
The Scratchpad II Abstract Datatype Language and System,
Computer Science Colloquium, IBM T.J. Watson Research Center, Hawthorne, New York, 18 Dec 1986.
Scratchpad II -- Un nouveau système de calcul formel,
Colloquium, IBM Paris Scientific Center, France, 30 May 1986.
Programming Language Aspects of Scratchpad II,
Colloquium, City University of New York Graduate Center, New York, 22 Apr 1986.
1985
A System for Parallel Computer Algebra Programs,
Colloquium, Xerox PARC Computer Science Lab, Palo Alto, California, 25 Mar 1985.
1983
The Maple System for Computer Algebra,
Colloquium, University of New Brunswick, Canada, 11 Apr 1983.