EuroProofNet 2nd Workshop on the development, maintenance, refactoring and search of large libraries of proofs
Date: 13-14 September 2024, colocated with the 15th Conference on Interactive Theorem Proving (ITP’24).
Venue: Tbilisi State University, Chavchavadze ave. 1, 0179 Tbilisi, Georgia
Scientific organizers: Frédéric Blanqui, Angeliki Koutsoukou Argyraki and Claudio Sacerdoti
Local organizer: Besik Dundua
Previous workshop: 1st EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs