<!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>