Large Mathematics Libraries (LML 2019)
Large formal and semiformal mathematics libraries are needed to support mathematics research, mathematics education, rigorous software development, and formal proof development. This workshop will explore methods for designing, constructing, and maintaining large mathematics libraries as well as for finding, comparing, and applying the knowledge residing in these libraries.
Key topics of interest will include:
The workshop will consist two invited presentations and several contributed presentations and system demonstrations. We welcome presentation and demonstration proposals in the form of extended 1-4 page abstracts formatted in LaTeX. Abstracts should be sent via email to email@example.com and firstname.lastname@example.org. Abstracts of selected presentations and demonstrations will be published online.
Organizers and Program Committee
12th Conference on Intelligent Computer Mathematics
July 8-12, 2019
Prague, Czech Republic