coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Call for Participation - Workshop on Large Mathematical Libraries (LML 2019)
Chronological Thread
- From: Dennis Müller <dennis.mueller AT fau.de>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Call for Participation - Workshop on Large Mathematical Libraries (LML 2019)
- Date: Wed, 29 May 2019 13:44:36 +0200
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=dennis.mueller AT fau.de; spf=Pass smtp.mailfrom=dennis.mueller AT fau.de; spf=Pass smtp.helo=postmaster AT mx-rz-3.rrze.uni-erlangen.de
- Ironport-phdr: 9a23:WfFr2Rxv2sPfsivXCy+O+j09IxM/srCxBDY+r6Qd2+gTIJqq85mqBkHD//Il1AaPAdyCrase1KGK7+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglVmTaxe65+IAu0oAneucQbjpZpJ7osxBfOvnZGYfldy3lyJVKUkRb858Ow84Bm/i9Npf8v9NNOXLvjcaggQrNWEDopM2Yu5M32rhbDVheA5mEdUmoNjBVFBRXO4QzgUZfwtiv6sfd92DWfMMbrQ704RSiu4qF2QxLulSwJNSM28HvPh8JwkaxVvhGvqRJxzIHbfI6bO+Fzfr/ecN4AWWZNQshcWi5HD4ihb4UPFe0BPeNAoofzuVQOqx2+BQi3BOz3zTFQmnv23akk3OQ7DArL2xEvEMwIsHTSrdX1L70eUeWozKbWyTXDa+1Z2S3m5YjGaB8hvOuAUq9ufsfIz0QkCg3LjlKVqYP/PjOV0PwAvHSa7+V8UOKjknIoqwZ3ojih2MgskJfGhoQJxV/a7yl5x5w1JdK+RUVmYtCkCINduzyUOodrWM8uXmJltSUgxrEbpJK3ZjYGxIo/yxLBd/CLb5WE7xfiWeufIjp1gWhqdK6jixqu9EWs1/HwWte03VtPqydJj8fDu3YQ3BLJ8MeHUOFy/kK51DaPyQ/T7uZELFgxlavUMpIh2L8xmoMdvEjZBC/2gkT3g7GMekU5/Oio6v3rbav8pp+YLYB0jA7+PboomsClHOs3LBACX2md+euiyL3u5VD1TbtXgvEsj6XUs5PXKd4GqqKkGQNZzJgv5w66Dzi80dQYmXcHLEhCeBKCl4XmJk/BIPb+Dfe+mFSgijJrx+3YMb3lBpXCMGLDnazvfbln9k5Q0hc8ws5H65JOFr4BOO7zWlP2tNHAEhA5NBW0z//7B9V5y4MRQnmCArSZMaPXqV+H/PgjI+iKZI8PuTbyMeIp5/D0jSxxpVhIdq6wmJATdXqQH/J8Ikzfb2C/rM0GFDImsww4TffdrcmGVTNJLyK+UqQ65yp9DZ+rCYPOXKijiaHH0CrtTc4eXXxPFl3ZSSSgTI6DQfpZMHvPcP8kqSQNUP2ac6Fk1Ryqs1Simb93a/DGv3Zer4jx2Z5o4eyWmAs2/Dp7AsLb32zfFjgozFNNfCc/2eVEmWI40k2Kgfp2iuEeGdEBv6oYADd/DobVyqlBM/63XwvAetmTT1P2ENuvHHc9Q4Bozg==
Call for Participation
Workshop on Large Mathematics Libraries (LML 2019)
12th Conference on Intelligent Computer Mathematics
- CICM 2019 -
July 8-12, 2019
CIIRC, Prague, Czech Republic
http://www.cicm-conference.org/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:
o Methods for sharing knowledge between libraries.
o Modular techniques for organizing the knowledge within libraries.
o The translation of libraries to different languages and logics.
o The construction of new libraries by integrating existing
libraries.
o Tools for exploring the contents of large libraries.
o Observations about past results.
The workshop will consist of 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
wmfarmer AT mcmaster.ca
and
dennis.mueller AT fau.de.
Abstracts of
selected presentations and demonstrations will be published online.
More details about LML 2019 are available at
https://www.cicm-conference.org/2019/cicm.php?event=lml&menu=general
Important Dates
o Abstract submission: June 24, 2019
o Notification: July 01, 2019
o Workshop: July 10, 2019
Registration
Registration to CICM 2019 and the workshops is open at the CICM
website or directly at
https://www.cicm-conference.org/2019/cicm.php?event=&menu=registration
--
Dennis M. Müller
"To do mathematics is to be, at once, touched by fire and bound by reason. This is
no contradiction. Logic forms a narrow channel through which intuition flows with
vastly augmented force"
- Jordan Ellenberg (How Not to Be Wrong)
- [Coq-Club] Call for Participation - Workshop on Large Mathematical Libraries (LML 2019), Dennis Müller, 05/29/2019
Archive powered by MHonArc 2.6.18.