EuroProofNet is going to organize a workshop on the development, maintenance, refactoring and search of large libraries of formal proofs, on September 23-24, in Tbilisi, Georgia, as part of the Computational Logic Autumn Summit 2022, so in co-location with many other interesting conferences and schools (*). See https://europroofnet.github.io/wg4-meeting1/ for more details.
We welcome talks, tutorials, demos, on library descriptions or on methodologies, algorithms and tools trying to tackle the challenges raised by the development, maintenance, refactoring and search of large libraries of proofs.
We would appreciate very much contributions from the Coq community.
EuroProofNet can reimburse the transport to Tbilisi + some daily allowance for the accommodation on September 23-24 for a number of participants. Please check https://europroofnet.github.io/eligibility/ and https://europroofnet.github.io/reimbursement-rules/ to get more details. But participation can be online if you cannot go to Tbilisi.
If you are interested, please fill in https://forms.gle/fNxt1ot2xgUUSfGt5 before July 24.
You can forward this mail to colleagues and students.
Frédéric Blanqui and Claudio Sacerdoti.
(*) The Computational Logic Autumn Summit 2022 includes the 15th Conference on Intelligent Computer Mathematics (CICM), the 24th International Symposium on Principles and Practice of Declarative Programming (PPDP), the 32nd International Symposium on Logic-based Program Synthesis and Transformation, the International Conference on Practical and Theoretical Aspects of Logic, Cyber Security and Cryptography 2022, the 14th International Conference on Mathematics of Program Construction (MPC), the 16th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS), the 22nd Intl. Conf. on Runtime Verification (RV), the 13th International School on Rewriting (ISR).
The program of the EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs, 23-24 September 2022, is now online:
Registration is free but mandatory. To attend the workshop, physically or online, please send me a mail or message.
Frédéric Blanqui, chair of EuroProofNet.
FWIW, you can make these announcements in Discourse and they are automatically relayed in #Announcements on Zulip. See https://github.com/coq/coq/wiki/Discourse for information about posting by email.
Last updated: Jan 29 2023 at 19:02 UTC