Workshops
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 Workshop |
27 July |
| DML | Towards Digital Mathematics Library | 27 July |