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, June 26-28 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, Dec 7-20 2021 (by video link).
2020
Orthogonal Polynomial Families in Typescript,
Polynomial Computer Algebra 2020, Euler International Mathematics Institute, St Petersburg, Russia, Oct 13 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, Sept 2 2020 (by video link).
The Mathematics of Mathematical Handwriting Recognition,
Canadian Undergraduate Mathematics Conference, Western University, London, Canada, Aug 21 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, Jan 19 2020.
2019
A Review of Algorithms on Symbolic Domains,
21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timișoara, Romania, Sept 4-7 2019.
The NASA Effect of a Global Digital Math Library,
Big Proof, International Centre for Mathematical Sciences, Edinburgh, Scotland, May 31 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, May 17 2019.
Feature Extraction using Legendre-Sobolev Approximations for Handwritten Mathematical Characters,
Polynomial Computer Algebra 2019, Euler International Mathematics Institute, St Petersburg, Russia, Apr 18 2019.
Innovation with Purpose (panelist),
Waterloo Innovation Summit, Canada House, Trafalgar Square, London, UK, Feb 18 2019.
2018
International Mathematical Knowledge Trust -- IMKT (panelist): An update on the global digital mathematics library,
International Congress of Mathematicians, Rio de Janeiro, Brazil, Aug 7 2018.
2017
Waterloo and the Future of Online STEM Education,
Transforming Online Stem Education, Torino, Italy, Oct 12 2017.
Computer Algebra in Online STEM Education,
Applications of Computer Algebra, Jerusalem, July 17-21 2017.
Toward Gröbner Bases of Symbolic Polynomials,
Mathematical Congress of the Americas, Applied and Computational ALgebraic Geometry Session, Montreal, Canada, July 24-28 2017.
Mathematical Knowledge at Scale,
Computer Aided Mathematical Proof, Isaac Newton Institute, Cambridge, UK, July 10-14 2017.
Algorithms for Symbolic Polynomials,
Algebraic Algorithms and Applications, Pisa, Italy, Mar 30-Apr 1 2017.
2016
Waterloo and the Future of Online STEM Education,
Transforming Online Stem Education, Vienna, Austria, Oct 19-21 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, Sept 24-27 2016.
The Mathematics of Planet W,
Celebrating 20 Years of the Lambert W Function, London, Canada, July 25-28 2016.
ISSAC 50 Years: 1996-2016,
International Symposium on Symbolic and Algebraic Computation 2016, Waterloo, Canada, July 19-22 2016.
Sixty Years of Erich Katofen,
Milestones in Computer Algebra 2016, Waterloo, Canada, July 16-18 2016.
Toward an International Mathematical Knowledge Base,
International Congress on Mathematical Software, Berlin, Germany, July 11-15 2016.
Cybersecurity -- The Waterloo Dimension,
Protecting Your Financial Data vie Cryptography and Other Cybersecurity Strategies, General Chamber of Commerce, Hong Kong, May 19 2016.
Optimization and Homotopy in Mathematical Handwriting Recognition,
South Pacific Optimization Workshop, Nouméa, New Caledonia, Feb 16-18 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, Feb 3-5 2016.
Assembling the World's Mathematical Knowledge,
Mathematical Information in the Digital Age of Science Session, AMS/MAA Joint Mathematics Meetings, Seattle, USA, Jan 6-9 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, Sept 21-24 2015.
At the Interface between Symbolic and Numeric Computation,
Third Workshop on Hybrid Methodologies for Symbolic-Numeric Computation (HMSNC 2015), Beijing, China, Aug 10-14 2015.
Mathematical Modelling for Mathematical Handwriting Recognition,
4th Summer School in Symbolic Computation (SSSC 2015), Beihang University, Beijing, China, Aug 3-9 2015.
Three Problems at the Frontier of Computer Algebra,
Annual General Meeting, Fields Institute for Research in Mathematical Sciences, June 25 2015.
Sparsity with Symbolic Polynomials: Algorithms and Current Directions,
Sparse Modelling and Multi-exponential Analysis, Dagstuhl, Germany, June 14-19 2015.
InkChat,
Teaching with Technology, Western University, Canada, May 21 2015.
Algorithms for Symbolic Polynomials, Matrices and Domains,
Polynomial Computer Algebra (PCA 2015), Euler International Mathematical Institute, St. Petersburg, Russia, Apr 13-18 2015.
Algorithms for Symbolic Polynomials, Matrices and Domains,
2nd International Conference on Numerical and Symbolic Computation: Developments and Applications, Faro, Algarve, Portugal, Mar 26-27 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, Dec 7-8 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, Sept 22-25 2014.
Emerging Directions & Thesis Topics (panelist),
East Coast Computer Algebra Day (ECCAD 2014), Duke University, Durham NC, USA, Apr 26 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, Dec 9-10 2013.
The More Symbolic, the Better!,
Program Verification, Automated Debugging and Symbolic Computation (PAS 2013), Beihang University, Beijing, China, Oct 23-25 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, Sept 23-26 2013.
Connections between Computer Algebra and Computer Security (Panelist),
East Coast Computer Algebra Day (ECCAD 2013), US Naval Academy, Annapolis MD, USA, Apr 27 2013.
Leading Flying Objects,
University of Western Ontario Research in Computer Science (UWORCS 2013), London, Canada, Apr 12 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, Sept 26-29 2012.
What is an Equation?,
14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computation (SYNASC 2012), Timișoara, Romania, Sept 26-29 2012.
A Cluster of Languages for Mathematical Computing,
The Watt Workshop on Symbolic Computation (Scottish Parallel Computational Mathematics Meeting), Heriot-Watt University, Edinburgh, UK, Sept 22 2012.
A Cluster of Languages for Mathematical Computing,
Annual Conference of the Heilbronn Institute for Mathematical Research, Bristol, UK, Sept 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 Acad. Science, Washington DC, USA, June 1-3 2012.
Writing on Clouds,
Computer Science Undergraduate Conference, Western University, Canada, Mar 19 2012.
Approximate Polynomials and Definite Integrals,
Fields Institute Workshop on Hybrid Methodologies for Symbolic-Numeric Computation, University of Waterloo, Canada, Nov 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, Sept 26-29 2011.
The Mathematics of Mathematical Handwriting Recognition,
MaGiX@LiX Conference, École Polytechnique, Paris, France, Sept 19-24 2011.
What Can We Learn from Aldor?,
MaGiX@LiX Conference, École Polytechnique, Paris, France, Sept 19-24 2011.
Mathematical Modelling in Mathematical Handwriting Recognition,
Laurier Centenary Conf.: Applied Mathematics, Modeling and Computational Science Conference, Waterloo, Canada, July 25-29 2011.
Polynomial Approximation in Handwriting Recognition,
4th International Workshop on Symbolic-Numeric Computation (SNC 2011), 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, Sept 23-26 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, Dec 14-17 2009.
Symbolic Symbolic Computation,
Tunisia-Japan Workshop on Symbolic Computation in Software Science, Gammarth, Tunisia, Sept 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 Mathematics Institutes, St Petersburg, Russia, Apr 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, Mar 22 2009.
2008
How to Work with Polynomials of Symbolic Degree,
International Conference on Applications of Computer Algebra (ACA 2008), RISC, Castle of Hagenberg, Austria, July 27-30 2008.
New Algorithms for Symbolic Polynomials,
Second Chinese SALSA Workshop, Beihang University, Beijing, China, Apr 25-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 Inovation, National Science Foundation, Arlington VA, USA, Oct 30-31 2007.
Respecting Implicit Semantics in Mathematical Markup,
ICIAM Session on Web Mathematics, Zurich, Switzerland, July 16-20 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),
\ Coast Computer Algebra Day, Washington College, Chesterwown MD USA, Apr 21 2007.
Type Categories and Mathematical Categories in Aldor,
Applied and Computational Category Theory 2007 (ACCAT 2007), Braga, Portugal, Mar 25 2007.
2006
Mathematics on the Web Roundtable,
International Conference on Digital Typography & Electronic Publishing (TUG 2006), Marrakech, Morocco, Nov 11 2006.
Improving Pen-Based Mathematical Interfaces,
8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computation (SYNASC 2006), Timișoara, Romania, Sept 28 2006.
Algorithms for Symbolic Polynomials,
Computer Algebra in Scientific Computing 2006 (CASC 2006), Chișinău, Moldova, Sept 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, Apr 16 2006.
2005
InkML,
Special Session -- International Conference on Document Analysis and Recognition, Seoul, South Korea, Aug 31 2005.
A Context for Pen-Based Mathematical Computing,
Internet Accessible Mathematical Computation (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, Sept 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),
East Coast Computer Algebra Day, Waterloo, Canada, May 8 2004.
Interfaces for Mathematical Components,
Future of Scientific Computing, CCNY, New York, Apr 30 2004.
2003
Foundations in Computer Algebra (after dinner talk),
ISSAC 2003, Philadelphia, USA, Aug 5 2003.
2002
A Study in the Integration of Computer Algebra Systems,
International Congress of Mathematical Software, Beijing, China, Aug 19 2002.
What Lies Ahead for Symbolic Mathematics Systems?,
Plenary presentation, 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, Mar 2 2002.
2001
Aldor: The language and recent directions,
Plenary presentation, Workshop on Future Directions in Categorical Programming Languages, London, Canada, July 26 2001.
Computer Algebra Systems for the Next Decade,
Plenary presentation, ISSAC 2001, London Canada, July 24 2001.
Choices in Building Computer Algebra Systems,
Plenary presentation, COCOA VII Conference, Kinsgton Canada, July 20 2001.
What is MathML and Why Should I Care?,
Symbolic Linear Algebra Conference, Rabat, Morocco, May 30 2001.
2000
Automatic Differentiation and Symbolic-Numeric Algorithms for Polynomials,
Plenary presentation, AD 2000 Conference, Nice, France, June 21 2000.
1999
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,
Plenary presentation, Conference on Technology in Mathematics Education at the Secondary and Tertiary Levels, Brock University, St Catharines, Canada, June 4 1999.
1998
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, Mar 10 1998.
1997
Computer Algebra Systems,
Plenary presentation, 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, Mar 18 1997.
1996
Introduction to the FRISCO Project,
FRISCO Open Workshop on The Needs of Industry in Polynomial System Solving, Addlink, Barcelona, Spain, Oct 23 1996.
Motivations in the Design of Aldor,
Computer Algebra Workshop, INFORMATIK'96 (Joint annual meeting of German GI and Austrian CG), Klagenfurt, Austria, Sept 24 1996.
Le typage en Calcul Formel,
Seminaire "Esquisses et Calcul Formel" PRC/GDR AMI, Université Paris 7, France, June 20 1996.
Systems Issues in Computer Algebra -- Past, Present and Future,
Maths for Information Technology national meeting, Computing Laboratory, Oxford, England, Apr 16 1996.
The A♯ Programming Language: Reconstructing an Algebra System from Elementary Particles,
German Axiom Users' Group Meeting, U. Karlsruhe, Germany, Mar 21 1996.
Programming Language Support For Memory Management,
Workshop on Computer Algebra Software, Schloss Dagstuhl, Wadern, Germany, Feb 6 1996.
1995
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,
Plenary presentation, 1995 East Coast Computer Algebra Day, Newark, Delaware, Apr 8 1995.
The State of the A♯ Compiler,
POSSO Workshop on Software, Paris, France, Mar 4 1995.
1991
A♯ Programming Language Workshop,
Workshop for New Technology for Symbolic Computational Mathematics and Applications in Research and Education, CAIP Center, Rutgers University, New Jersey, June 10 1994 (Full day short-course, with Broadbery, Dooley and Steinbach).
Programming Structures for Symbolic Computation,
Plenary Presentation, IBM Europe Institute, Oberlech, Austria, July 30 1991.
1994
The A♯ Programming Language and Its Compiler,
Workshop on Computational Group Theory, Geometry Center, Univerisy of Minnesota, Jan 4 1994.
1993
The A♯ Programming Language and its Compiler,
Journées Axiom Meeting, Paris, France, Oct 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, Oct 17 1993.
Axiom and A♯: Computer Algebra with Abstract Datatypes,
Second Brazilian School for Computer Algebra, National Laboratory for Scientific Computation (LNCC), Rio de Janeiro, Brazil, July 22-23 1993 (Short course of three lectures).
Algebraic Simplification for Computational Differentiation,
Theory Institute on Combinatorial Challenges in Computational Differentiation, Argonne National Laboratory, Illinois, May 24 1993.
The A♯ Programming Language and Its Compiler,
CATHODE ESPRIT Workshop, Han-sur-Lesse, Belgium, Mar 22 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, Oct 21 1989.
Using Scratchpad for Differential Algebra,
Institute for Mathematics and its Applications, Workshop on Symbolic Solution of Differential Equations, Minnesota, June 26-30 1989 (Five day short course, with Trager and Bronstein).
1987
Domain Driven Expression Display in Scratchpad II,
Environments for Computational Mathematics, Special Interest Group Meeting, ACM SIGGRAPH Conference, Los Angeles, California, July 30 1987.
Techniques for Parallelism in Computer Algebra,
Workshop on Computer Algebra Systems (SMU/Los Alamos/TI), Dallas, Texas, Feb 27 1987.
1986
Un cours intensif sur Scratchpad II,
Journées de Calcul Formel, Luminy, France, June 2-6 1986 (Six lectures).
1985
Scratchpad II -- A new system for computer algebra,
IBM--CSRI Meeting, Computer Science Research Institute, University of Toronto, Canada, Nov 25 1985.
1983
Collusion to Decrease Expected Execution Time,
Research Presentation, 2nd Annual General Meeting of the Institute for Computer Research, University of Waterloo, Canada, May 2 1983.
1982
The Maple System for Computer Algebra,
Research Presentation, 1st Annual General Meeting of the Institute for Computer Research, University of Waterloo, Canada, Nov 4 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, May 28 2026.
2025
Polynomial Representations for Mathematical Handwriting Recognition,
Faculty of Computer Science Colloquium, Dalhousie University, Nova Scotia, Canada, Oct 14 2025.
2019
The Mathematics of Mathematical Handwriting Recognition,
Distinguished Speaker Series, College of Computing and Informatics, Drexel University, Philadelphia, USA, May 6 2019.
2018
The Mathematics of Mathematical Handwriting Recognition,
Annual General Meeting Plenary Lecture, Numerical Algorithms Group Ltd, Oxford, UK, Sept 21 2018.
Knowledge Management for Digital Math Libraries,
ADA University Colloquium, Baku, Azerbaijan, Apr 20 2018.
Mathematical Knowledge at Scale,
Computer Algebra Colloquium, Academy of Mathematics and Systems Sciences, Chinese Academy of Sciences, Beijing, China, Mar 22 2018.
2017
The Mathematics of Mathematical Handwriting Recognition,
Mathematics Colloquium, Dipartimento de Matematica "Giuseppe Peano", Università degli Studi di Torino, Italy, Oct 13 2017.
2016
Challenges in Building a Global Digital Mathematics Library,
Distinguished Lecturer, National Center for Mathematics and Interdisciplinary Sciences, Beijing, Nov 15 2016.
The Mathematics of Mathematical Handwriting Recognition,
Applied Mathematics Seminar, McGill University, Montreal, Canada, Jan 25 2016.
2015
Recognition and Collaboration with Mathematical Handwriting,
Computer Science Seminar, Pohang University of Science and Technology, Nov 27 2015.
2014
Algorithms for Symbolic Polynomials, Matrices and Domains,
Symbolic Computation Seminar, Simon Fraser University, Nov 25 2014.
The Limits of Computation,
Discovery Week Plenary, Science Students' Council, University of Western Ontario, Canada, Nov 20 2014.
A Modern Software Architecture for Mathematical Collaboration,
Symbolic Computation Seminar, North Carolina State University, Nov 14 2014.
Aspects of Mathematical Handwriting Recognition,
Computer Science Seminar, Universidade do Porto, Departamento de Ciência de Computadores, July 11 2014.
Waste Diversion in Ontario,
Seminar, Matthews Hall School, London Ontario, Apr 23 2014.
The Mathematics of Mathematical Handwriting Recognition,
Marelle Seminar, INRIA Sophia Antipolis, Apr 4 2014.
Challenges for the Next Decade of Symbolic Mathematical Computing Systems,
KLMM Colloquium, Academy of Mathematics and System Sciences, Chinese Academy of Sciences, Beijing, Feb 21 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, Oct 22 2013.
The Limits of Computation,
Science Here and Now Series, London Public Library (Ontario), Apr 16 2013.
The Mathematics of Mathematical Handwriting Recognition,
Computer Science Colloquium, University of Miami, Jan 23 2013.
2012
A Cluster of Languages for Mathematical Computing,
Colloquium, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing, China, Oct 30 2012.
A Cluster of Languages for Mathematical Computing,
COPLAS Seminar, Department of Computer Science, University of Copenhagen, Denmark, Sept 7 2012.
Leading Flying Objects,
J. W. Graham Medal Colloquium, University of Waterloo, Canada, June 14 2012.
2011
Algorithms for Symbolic Polynomials,
Computational Mathematics Seminar, Australian National University, Canberra, Nov 21 2011.
Computer Algebra's Dirty Little Secret,
Seminars in Computing and Software, McMaster University, Oct 19 2011.
The Mathematics of Mathematical Handwriting Recognition,
Algebra Seminar, Dept of Mathematics, University of Western Ontario, Mar 4 2011.
ORCCA at Western,
Japan Society for Computational Engineering and Sciences Meeting, University of Waterloo, Faculty of Engineering, Feb 10 2011.
2010
The Mathematics of Mathematical Handwriting Recognition,
CARMA Colloqium, Dept of Mathematics, University of Newcastle, Australia, Oct 16 2010.
The Mathematics of Mathematical Handwriting Recognition,
Topical Research in Computer Science Seminar, University of Western Ontario, London, Canada, Sept 15 2010.
How to "Win" at University,
First Year Residence Program, University of Western Ontario, London, Canada, Mar 31 2010.
2009
Algorithms for Symbolic Polynomials,
Colloquium, Mathematics Department, University of Western Ontario, Canada, Nov 12 2009.
Geometric Methods in Mathematical Handwriting Recognition,
Colloquium, Microsoft Development Center, Belgrade, Serbia, Oct 1 2009.
The Mathematics of Mathematical Handwriting Recognition,
Colloquium, Faculty of Computer Science, University of New Brunswick, Fredericton, Canada, June 2 2009.
Computer Algebra's Deep, Dark Secrets (or Why Won't Maple do this thing?!?),
Maplesoft E-Symposium, Broadcast by Maplesoft, Apr 15 2009.
Pen-Based Computing,
Computer Science Undergraduate Society Day, University of Western Ontario, London, Canada, Feb 7 2009.
2008
Computer Algebra's Dirty Little Secret,
Topical Research in Computer Science Seminar, University of Western Ontario, London, Canada, Nov 5 2008.
Advances in Algorithms for Symbolic Polynomials,
Colloquium, Mathematics Department, North Carolina State University, Mar 19 2008.
Symbolic Polynomials and Symbolic Matrices -- or -- How two simple ideas make arithmetic possible,
Joint Lab Meeting, Maplesoft, Waterloo, Canada, Feb 8 2008.
2006
Expression Analysis for Pen-Based Mathematical Interfaces,
Colloquium, CS and EE Departments, University Politehnica of Bucharest, Sept 8 2006.
A Context for Pen-Based Mathematical Computing,
Colloquium, Dept of Mathematics, University of Queensland, Brisbane Australia, Feb 17 2006.
A Context for Pen-Based Mathematical Computing,
Colloquium, Dept of Mathematics, University of Sydney, Sydney Australia, Feb 16 2006.
2005
A Framework for Pen-Based Mathematical Computing,
Colloquium, Institute of Software, Chinese Academy of Sciences, Beijing, July 28 2005.
2004
Strategies for Pen-Based Mathematics,
Computer Science Colloquium, Drexel University, Philadelphia, Oct 13 2004.
Compiling Aldor,
France Day Symposium, University of Western Ontario, Jan 29 2004.
2003
Motivations in the Design of Aldor,
Colloquium, Institute for Systems Software, Chinese Academy of Sciences, Beijing, Oct 27 2003.
The Current Status of MathML and Math on the Web,
Colloquium, Mathematics Mechanization Research Institute, Chinese Academy of Sciences, Beijing, Oct 24 2003.
The Current Status of MathML and Math on the Web,
CoLab Talk, Department of Mathematics, Simon Fraser University, Canada, Aug 22 2003.
2002
What is MathML and Why Should We Care?,
Mathematics Colloquium, North Carolina State University, Feb 11 2002.
2001
What is MathML and Why Should I Care?,
Dept of Applied Mathematics Colloquium, University of Western Ontario, Feb 13 2001.
2000
Aldor: The language and recent directions,
INRIA, Sophia Antipolis, France, June 15 2000.
1998
Computer Algebra Systems: Past, Present and Future,
Mathematical Sciences Interdepartmental Colloquium, University of Western Ontario, London, Canada, Feb 10 1998.
1997
Lessons in Language Design: What A♯ can teach Java,
Computer Science Open House, IBM Research, Hawthorne, New York, Jan 7 1997.
1996
Motivations in the Design of Aldor,
Computer Science Colloquium, University of Western Ontario, London, Ontario, Canada, Nov 4 1996.
The Role of the Chef in French Science,
Math Tea, IBM T.J. Watson Research Center, Yorktown Heights, New York, Oct 17 1996.
The A♯ Programming Language: Reconstructing an Algebra System from Elementary Particles,
Seminar, CERN, Geneva, Switzerland, July 12 1996.
The A♯ Programming Language: Reconstructing an Algebra System from Elementary Particles,
Computer Algebra Colloquium, GMD, Bonn, Germany, Apr 9 1996.
1995
Inside The A♯ Compiler,
Computer Algebra Seminar, ETH Zurich, Switzerland, Dec 6 1995.
The State of the A♯ Compiler,
SAFIR Seminar, INRIA Sophia-Antipolis, France, Mar 24 1995.
1994
The A♯ Programming Language and Its Compiler,
Computer Science Colloquium, Rensselaer Polytechnic Institute, Troy, New York, Dec 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, Oct 24 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, July 21 1993.
The A♯ Programming Language and Its Compiler,
Numerical Algorithms Group, Limited, Oxford, England, Mar 18 1993.
The A♯ Programming Language and Its Compiler,
Supercomputer Computation Research Institute Colloquium, Florida State University, Tallahassee, Jan 17 1993.
1992
Axiom's Programming Language and Compiler,
Computer Science Colloquium, Rensselaer Polytechnic Institute, Troy, New York, Nov 6 1992.
1991
Designs for Symbolic Computation,
Computer Science Colloquium, Drexel University, Philadelphia, Nov 8 1991.
1989
The Scratchpad System for Algorithmic Mathematics,
Colloquium, Oak Ridge National Laboratory, Tennessee, May 19 1989.
1988
The Scratchpad II System for Algorithmic Mathematics,
Colloquium, Gesellschaft für Mathematik und Datenverarbeitung, Bonn, Germany, Nov 15 1988.
1987
The Scratchpad II Type System,
Computer Science Colloquium, Rensselaer Polytechnic Institute, Troy, New York, Oct 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,
Institute for Computer Research, University of Waterloo, Canada, May 20-22 1987 (Six lectures).
Techniques for Parallelism in Computer Algebra,
Computer Science Seminar, Southern Methodist University, Texas, Feb 27 1987.
Multiple Views and Multiple Inheritance in Scratchpad II,
Programming Languages Seminar, IBM T.J. Watson Research Center, Hawthorne, New York, Jan 16 1987.
1986
The Scratchpad II Abstract Datatype Language and System,
Computer Science Colloquium, IBM T.J. Watson Research Center, Hawthorne, New York, Dec 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, Apr 22 1986.
1985
A System for Parallel Computer Algebra Programs,
Colloquium, Xerox PARC Computer Science Lab, Palo Alto, California, Mar 25 1985.
1983
The Maple System for Computer Algebra,
Colloquium, University of New Brunswick, Canada, Apr 11 1983.