Introduction:

Introduction for new grad students.


General talks: 
Computer Algebra's Dirty Little Secret.


The Mathematics of Mathematical Handwriting Recognition.


Dependent Types and Categorical Programming


Computing, Symbols and Math
[Video]


Leading Flying Objects


The Limits of Computation


Tools for Online Technical Collaboration.


ORCCA

The Ontario Research Center for Computer Algebra


MathML @ ORCCA  Tools for MathML and conversions to/from TeX and OpenMath


MONET @ ORCCA  Mathematical Web Services


PenMath @ ORCCA  PenBased Interfaces for Mathematics


Aldor

A categorical programming language.

Maple

The system for symbolic mathematical computation.

MathML

The W3C standard for math on the internet.

InkML

The W3C standard for digital ink.
