July 23 - 24, 2020

- Intelligent computer mathematics
- Automated theorem proving in computer algebra systems
- Computer algebra in theorem proving systems
- Adding reasoning capabilities to computer algebra systems
- Adding computational capabilities to theorem proving systems
- Theory, design and implementation of interdisciplinary systems for computer mathematics
- Case studies and applications that involve a mix of computation and reasoning
- Case studies in formalization of mathematical theories
- Representation of mathematics in computer algebra systems
- Theory exploration techniques
- Combining methods of symbolic computation and formal deduction
- Input languages, programming languages, types and constraint languages, and modeling languages for mathematical assistant systems
- Homotopy type theory
- Infrastructure for mathematical services