You must enable JavaScript to use this site
  • 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:

    • Methods for sharing knowledge between libraries.
    • Modular techniques for organizing the knowledge within libraries.
    • The translation of libraries to different languages and logics.
    • The construction of new libraries by integrating existing libraries.
    • Tools for exploring the contents of large libraries.
    • Observations about past results.


    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 and Abstracts of selected presentations and demonstrations will be published online.

    Important Dates

    • Abstract submission: June 24, 2019.
    • Notification: July 01, 2019.
    • Workshop: July 10, 2019.

    Invited Speakers

    • Claudio Socerdoti Coen, University of Bologna, Italy.
    • Makarius Wenzel, TU München, Germany.

    Organizers and Program Committee

    • Frédéric Blanqui, INRIA, France.
    • William M. Farmer, McMaster University, Canada (co-chair).
    • Dennis Müller, FAU Erlangen-Nürnberg, Germany (co-chair).
    • Florian Rabe, FAU Erlangen-Nürnberg, Germany.
  • News

    • tentative informal proceedings
    • formal proceedings online
    • detailed program online
    • 3 invited speakers
    • accepted papers announced
    • registration open
    • extended deadline
    • four workshops and tutorial confirmed
    • LNAI proceedings confirmed
    • initial program committee
    • initial website online
Privacy policy and legal information
Last modified: May 17 2019 18:58:58 CEST