<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <p><span
style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black;font-weight:normal"
        lang="EN-CA">*******************************************************************************</span></p>
    <h1 style="margin-bottom:6.0pt"><font size="4"><font size="5"><span
            class="spelle"><span
style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black;font-weight:normal"
              lang="EN-CA">VerifyThis</span></span><span
style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black;font-weight:normal"
            lang="EN-CA"> Verification Competition 2024</span></font><span
          lang="EN-CA"></span></font></h1>
    <font size="4"> </font>
    <h1 style="margin-bottom:6.0pt"><span
style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black;font-weight:normal"
        lang="EN-CA"><font size="4">CALL FOR PARTICIPATION AND
          APPLICATION FOR TRAVEL GRANTS<br>
        </font></span></h1>
    <font size="4"> </font>
    <h1 style="margin-bottom:6.0pt"><font size="4"><span
style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black;font-weight:normal"
          lang="EN-CA">Competition to be held at ETAPS 2024</span></font><span
        lang="EN-CA"></span></h1>
    <br>
    <span lang="EN-CA"><a href="https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fverifythis.ethz.ch%2F&data=05%7C02%7C%7Cf58f55b2a0044e1758c408dc2d848131%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638435294369370866%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=OZTjE6c%2BbwXzpXX%2F5335BGjornUgBBdRDzk9sPYUROM%3D&reserved=0" originalSrc="http://verifythis.ethz.ch/" shash="oEsP0PWVrvvsCD9wVS5hN8yRF57KSktHa/gJ4SeRqQ12qmhqv+VQOD9pX7crX8JYGtUYQi7h3GTi2yXdWBuTUDR2digOliMpldpeAMLTV8LCJPHzE2a15XDDbnB36KVkMgK20i71AH29SQ9bhnXKkOMd9wt4NQW9EAy9gTzjGVI="
        target="_BLANK"><span
style="font-family:"Arial",sans-serif;color:#1155CC;font-weight:normal">http://verifythis.ethz.ch</span></a></span><span
style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black;font-weight:normal"
      lang="EN-CA"> </span><span lang="EN-CA"></span><br>
    <h1 style="margin-bottom:6.0pt"><span
style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black;font-weight:normal"
        lang="EN-CA">********************************************************************************</span><span
        lang="EN-CA"></span></h1>
    <p style="margin-bottom:12.0pt"><span
        style="font-family:"Arial",sans-serif;color:black"
        lang="EN-CA">IMPORTANT DATES</span><span lang="EN-CA"></span></p>
    <p></p>
    <p>Grant application deadline: March 3rd, 2024<br>
      (applications considered up to March 17th subject to availability)</p>
    <p>Early registration deadline: March 6th, 2024</p>
    <p>Competition: April 6th and 7th, 2024</p>
    <p>PARTICIPATION</p>
    <p><span>Participation is open for anybody interested. Teams of up
        to two people are allowed. VerifyThis will be held as a physical
        workshop as part of ETAPS 2024 in Luxembourg. <span>Registration
          for ETAPS workshops and physical presence on site is required.
          Early registration is open until March 6. To register, please
          go to <a href="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fetaps.org%2F2024%2Fregistration%2F&data=05%7C02%7C%7Cf58f55b2a0044e1758c408dc2d848131%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638435294369370866%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=RP0uC5O0seTmxKPZaz0vQq0Dot0KFE%2Fg%2F0WXmCuIfNE%3D&reserved=0" originalSrc="https://etaps.org/2024/registration/" shash="cCT/s3DqdXxP7yGAioWSVO2bK83EMS2imSF2sm9Tu55eb4HpdEJc1ZvKvi/tlbuh+Mni9cro1VB2Vps5XnxlXL2023sY2hAE8vHSYO08W3my3r1Lil7wTZ4PtJS/k/DqBH21UMeuS6+sHTwO21qnf7AviRg4EzwFYojmBB9zoiA="
            class="moz-txt-link-freetext">https://etaps.org/2024/registration/</a>
          and register for both Saturday and Sunday. </span>The actual
        competition will happen on the first day, whereas the second day
        will be used to discuss and evaluate the solutions. More details
        and a full program will be announced on the <a
          moz-do-not-send="true" href="https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fverifythis.ethz.ch%2F&data=05%7C02%7C%7Cf58f55b2a0044e1758c408dc2d848131%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638435294369370866%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=OZTjE6c%2BbwXzpXX%2F5335BGjornUgBBdRDzk9sPYUROM%3D&reserved=0" originalSrc="http://verifythis.ethz.ch/" shash="oEsP0PWVrvvsCD9wVS5hN8yRF57KSktHa/gJ4SeRqQ12qmhqv+VQOD9pX7crX8JYGtUYQi7h3GTi2yXdWBuTUDR2digOliMpldpeAMLTV8LCJPHzE2a15XDDbnB36KVkMgK20i71AH29SQ9bhnXKkOMd9wt4NQW9EAy9gTzjGVI=">VerifyThis
          website</a>.<br>
        <br>
        We particularly encourage participation of:</span></p>
    <ul>
      <li>student teams (this includes PhD students)</li>
      <li><span>non-​developer teams / using a tool someone else
          developed</span></li>
      <li>several teams using the same tool</li>
    </ul>
    <h4><span style="font-weight: normal;">TRAVEL GRANTS<br>
      </span></h4>
    <p>The competition has funds for a limited number of travel grants.
      A grant covers the incurred travel and accommodation costs up to a
      certain limit. The currently-​expected limit is EUR 400 for those
      coming from Europe and EUR 700 for those coming from outside
      Europe.</p>
    <p>We are particularly keen to increase diversity (in all senses) at
      the competition, and may take this into account if needing to
      prioritise travel grants; regardless, we strongly encourage you to
      apply if you have a need.</p>
    <p><span>To apply for a travel grant, send an email to <a
          class="moz-txt-link-abbreviated moz-txt-link-freetext"
          href="mailto:alex.summers@ubc.ca">alex.summers@ubc.ca</a> and
        <a class="moz-txt-link-abbreviated moz-txt-link-freetext"
          href="mailto:paula.herber@uni-muenster.de">paula.herber@uni-muenster.de</a>
        by March 3rd, 2024 (or at the latest March 15th). The
        application should include:</span></p>
    <ul>
      <li><span>your name</span></li>
      <li><span>your affiliation</span></li>
      <li><span>the verification system(s) you plan to use at the
          competition</span></li>
      <li><span>the planned composition of your team (and whether you
          are developers of the tools you'll be using)</span></li>
      <li><span>a short letter of motivation explaining your involvement
          with formal verification so far and/or interest in attending
          the competition</span></li>
      <li><span>if you are a student, please state the academic degree
          you are seeking and have your supervisor send a brief letter
          of support to <a class="moz-txt-link-abbreviated
            moz-txt-link-freetext" href="mailto:alex.summers@ubc.ca">alex.summers@ubc.ca</a>
          and <a class="moz-txt-link-abbreviated moz-txt-link-freetext"
            href="mailto:paula.herber@uni-muenster.de">paula.herber@uni-muenster.de</a>.
          <br>
        </span></li>
    </ul>
    <span style="font-family:"Arial",sans-serif;color:black"
      lang="EN-CA">ORGANIZERS</span><span lang="EN-CA"></span>
    <p style="margin:0cm"><span
        style="font-family:"Arial",sans-serif;color:black"
        lang="EN-CA">* Paula Herber, University of Münster, Germany</span><span
        lang="EN-CA"></span></p>
    <p style="margin:0cm"><span
        style="font-family:"Arial",sans-serif;color:black"
        lang="EN-CA">* Alexander J. Summers, University of British
        Columbia, Canada</span><span lang="EN-CA"></span></p>
    <p style="margin:0cm"><span
        style="font-family:"Arial",sans-serif;color:black"
        lang="EN-CA"><br>
      </span></p>
    <p style="margin:0cm"><span
        style="font-family:"Arial",sans-serif;color:black"
        lang="EN-CA">STEERING COMMITTEE</span><span lang="EN-CA"></span></p>
    <p style="margin:0cm"><span
        style="font-family:"Arial",sans-serif;color:black"
        lang="EN-CA">* Marieke Huisman, University of Twente, the
        Netherlands</span><span lang="EN-CA"></span></p>
    <p style="margin:0cm"><span
        style="font-family:"Arial",sans-serif;color:black"
        lang="EN-CA">* Rosemary Monahan, Maynooth University Maynooth,
        Ireland</span><span lang="EN-CA"></span></p>
    <p style="margin:0cm"><span
        style="font-family:"Arial",sans-serif;color:black"
        lang="EN-CA">* Peter Müller, ETH Zurich, Switzerland</span><span
        lang="EN-CA"></span></p>
    <p style="margin:0cm"><span
        style="font-family:"Arial",sans-serif;color:black"
        lang="EN-CA">* Mattias <span class="spelle">Ulbrich</span>,
        Karlsruhe Institute of Technology, Germany</span></p>
    <pre class="moz-signature" cols="72">
</pre>
  </body>
</html>