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


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


CICM 2014

Conferences on Intelligent Computer Mathematics, Coimbra, Portugal, 711 July 2014

UCNC 2014

International Conference on Unconventional Computation & Natural Computation, London, Canada, 1418 July 2014

SNC 2014

International Conference on SymbolicNumeric Computation, Shanghai, China, 2831 July 2014

TRICS

Topical Research in Computer Science Seminars


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.
