Workshops
| CCA | 2nd Workshop on Compact Computer Algebra |
10 July |
| DML | 2nd Workshop on Towards Digital Mathematics Library |
8 July - 9 July |
| MathUI | 4th Workshop on Mathematical User Interfaces |
6 July |
| OpenMath | 9th Workshop on OpenMath |
9 July |
| Pen-Math | 3rd Workshop on Pen-Based Mathematical Computation |
8 July - 9 July |