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