<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="text-align:left; direction:ltr;">
<h1 class="donthyphenate">VerifyThis 2022: Call for Problems</h1>
<h1 class="screenreader"><br>
</h1>
<p>apologies for multiple postings.</p>
<p><a href="https://www.pm.inf.ethz.ch/research/verifythis.html">VerifyThis</a> is a series of program verification competitions, which has taken place annually since 2011 (with the exception of 2020). Previous competitions in the series have been held at FoVeOOS
2011, FM 2012, Dagstuhl (April 2014), and ETAPS 2015—2021. </p>
<div class="par parsys basecomponent">
<div class="par parsys basecomponent contains-textimage">
<div class="textimage basecomponent">
<div class="textimage__wrapper is-first is-last ">
<div class="text-image cq-dd-image">
<p><br>
To extend the problem pool and tend better to the needs of the participants, we are soliciting verification problems for the competition:</p>
<ul>
<li>A problem should contain an informal statement of the algorithm to be implemented (optionally with complete or partial pseudo code) and the requirement(s) to be verified.</li><li>A problem should be suitable for a 60—90 minute time slot.</li><li>Submission of reference solutions is strongly encouraged.</li><li>Problems with an inherent language- or tool-specific bias should be clearly identified as such.</li><li>Problems that contain several subproblems or other means of difficulty scaling are especially welcome.</li><li>The organizers reserve the right (but no obligation) to use the problems in the competition, either as submitted or with modifications.</li><li>Submissions from (potential) competition participants are allowed.</li></ul>
<p>Problems from previous competitions can be seen at the <a href="http://www.pm.inf.ethz.ch/research/verifythis/Archive.html" class="eth-link">archive</a>.</p>
<p>Please send submissions via email to <a href="mailto:verifythis@googlegroups.com" class="eth-link">verifythis@googlegroups.com</a> by January 31, 2022.</p>
<p><b>The most suitable submission for competition will receive a prize.</b></p>
</div>
</div>
</div>
</div>
</div>
</body>
</html>