# Workshops

The Conferences on Intelligent Computer Mathematics will also include the following workshopsESARM | 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 |