coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 2nd EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs

From: Frédéric Blanqui <frederic.blanqui AT inria.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] 2nd EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs
Date: Tue, 4 Jun 2024 16:16:18 +0200
Authentication-results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=frederic.blanqui AT inria.fr; dmarc=fail (p=none dis=none) d=inria.fr

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/

[Coq-Club] 2nd EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs, Frédéric Blanqui, 06/04/2024