
<!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://europroofnet.github.io/wg4-tbilisi24/"

            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://blanqui.gitlabpages.inria.fr/"

      moz-do-not-send="true">https://blanqui.gitlabpages.inria.fr/</a></pre>

    </div>

  </body>

</html>