Stream: Announcements

Topic: Call for talk proposals: EuroProofNet Workshop

view this post on Zulip Angeliki Koutsoukou-Argyraki (Jun 06 2024 at 10:30):

Call for talk proposals: EuroProofNet
2nd Workshop on the development, maintenance, refactoring and search of large libraries of proofs (deadline 16 July) Please see here: https://europroofnet.github.io/wg4-tbilisi24/

Last updated: Feb 16 2026 at 08:52 UTC