[TYPES/announce] 2nd EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs

[Frédéric Blanqui]

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://urldefense.com/v3/__https://europroofnet.github.io/wg4-tbilisi24/__;!!IBzWLUs!RYLgnTeIVBqQJmccJDv7Q2NCJ8qewCB-nCku8CldONMg1opAski7pfTwONJ796uOwVFPBOBFhj1ex63eBNbPPnb747IcV1ekJNRCPKQqk8Q$ 

Best regards,

-- 
Frédéric Blanqui

Chair of EuroProofNet
https://urldefense.com/v3/__https://blanqui.gitlabpages.inria.fr/__;!!IBzWLUs!RYLgnTeIVBqQJmccJDv7Q2NCJ8qewCB-nCku8CldONMg1opAski7pfTwONJ796uOwVFPBOBFhj1ex63eBNbPPnb747IcV1ekJNRCdu6okuQ$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240604/f4b5e6f3/attachment-0001.htm>