Dear colleagues, I am pleased to announce the
*2nd EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs*
on*September 14*, in Tbilisi, Georgia, in colocation with the 15th Conference on Interactive Theorem Proving (ITP’24) on September 9-13, the Coq workshop and the Isabelle workshop on September 14.
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.
The COST action CA20111 *EuroProofNet can reimburse the transport to Tbilisi and the accommodation and meals during the workshop, plus one day before or after*, according to COST reimbursement rules.
*The deadline for talk proposals and funding applications is July 16.* Find more details on https://europroofnet.github.io/wg4-tbilisi24/ Best regards, -- Frédéric Blanqui Chair of EuroProofNet https://blanqui.gitlabpages.inria.fr/
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
