The Conferences on Intelligent Computer Mathematics will also include the following workshops

ESARM     Empirically Successful Automated
Reasoning for Mathematics
    27 July
PLMMS     Programming Languages for
Mechanized Mathematics Systems
    29 July
ARW 15th Workshop on Automated Reasoning:
Bridging the Gap between Theory and Practice
    30-31 July
MathUI Mathematical User-Interfaces
    27 July
DML Towards Digital Mathematics Library     27 July