<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
Dear colleagues,
<div class="moz-forward-container">
<div class="moz-text-html" lang="x-unicode">
<p>I am pleased to announce the</p>
<p><b>2nd EuroProofNet Workshop on the development, maintenance,
refactoring and search of large libraries of proofs</b></p>
<p>on<b> September 14</b>, 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.</p>
<p>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.</p>
<p>The COST action CA20111 <b>EuroProofNet can reimburse the
transport to Tbilisi and the accommodation and meals during
the workshop, plus one day before or after</b>, according to
COST reimbursement rules.<br>
</p>
<p><b>The deadline for talk proposals and funding applications
is July 16.</b><br>
</p>
<p>Find more details on<br>
</p>
<p><a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://europroofnet.github.io/wg4-tbilisi24/__;!!IBzWLUs!RYLgnTeIVBqQJmccJDv7Q2NCJ8qewCB-nCku8CldONMg1opAski7pfTwONJ796uOwVFPBOBFhj1ex63eBNbPPnb747IcV1ekJNRCPKQqk8Q$" moz-do-not-send="true">https://europroofnet.github.io/wg4-tbilisi24/</a></p>
<p>Best regards,</p>
</div>
<pre class="moz-signature" cols="72">--
Frédéric Blanqui
Chair of EuroProofNet
<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://blanqui.gitlabpages.inria.fr/__;!!IBzWLUs!RYLgnTeIVBqQJmccJDv7Q2NCJ8qewCB-nCku8CldONMg1opAski7pfTwONJ796uOwVFPBOBFhj1ex63eBNbPPnb747IcV1ekJNRCdu6okuQ$" moz-do-not-send="true">https://blanqui.gitlabpages.inria.fr/</a></pre>
</div>
</body>
</html>