<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
********************************************************************************
<div>VerifyThis Verification Competition 2022</div>
<div><br>
</div>
<div>CALL FOR PARTICIPATION -- TRAVEL GRANTS</div>
<div><br>
</div>
<div>Competition to be held at ETAPS 2022</div>
<div><br>
</div>
<div>http://verifythis.ethz.ch </div>
<div><br>
</div>
<div>********************************************************************************</div>
<div><br>
</div>
<div>IMPORTANT DATES</div>
<div>Grant application deadline: March 7, 2022</div>
<div>Competition: April 2 and 3, 2022</div>
<div><br>
</div>
<div>ABOUT</div>
<div>VerifyThis 2022 is a program verification competition taking place as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2022) on April 2-3, 2022 in Munich, Germany.</div>
<div>It is the 10th event in the VerifyThis competition series.</div>
<div><br>
</div>
<div>The competition will offer a number of challenges presented in natural language and pseudo code.</div>
<div>Participants have to formalize the requirements, implement a solution, and formally verify the implementation for adherence to the specification.</div>
<div><br>
</div>
<div>There are no restrictions on the programming language and verification technology used.</div>
<div>The correctness properties posed in problems will have the input-output behaviour of programs in focus. Solutions will be judged for correctness, completeness, and elegance.</div>
<div><br>
</div>
<div>PARTICIPATION</div>
<div>Participation is open for anybody interested.</div>
<div>Teams of up to two people are allowed.</div>
<div>Registration for ETAPS workshops and physical presence on site is required. </div>
<div><br>
</div>
<div>We particularly encourage participation of:</div>
<div> - student teams (this includes PhD students)</div>
<div> - non-developer teams using a tool someone else developed</div>
<div> - several teams using the same tool</div>
<div><br>
</div>
<div>TRAVEL GRANTS</div>
<div>The competition has funds for a limited number of travel grants.</div>
<div>A grant covers the incurred travel and accommodation costs up to a certain limit. The expected limit is EUR 350 for those coming from Europe and EUR 600 for those coming from outside Europe.</div>
<div><br>
</div>
<div>To apply for a travel grant, send an email to verifythis@googlegroups.com by March 7, 2022. The application should include:</div>
<div> - your name</div>
<div> - your affiliation</div>
<div> - the verification system(s) you plan to use at the competition</div>
<div> - the planned composition of your team (and whether you are developers of the tools you'll be using)</div>
<div> - a short letter of motivation explaining your involvement with formal verification so far</div>
<div> - if you are a student, please state the academic degree you are seeking and have your supervisor send a brief letter of support to verifythis@googlegroups.com </div>
<div><br>
</div>
<div>ORGANIZERS</div>
<div>* Marie Farrell, Maynooth University, Ireland</div>
<div>* Peter Lammich, University of Twente, The Netherlands</div>
<div><br>
</div>
<div>CONTACT</div>
<div>Email: verifythis@googlegroups.com</div>
<div>Web: http://verifythis.ethz.ch</div>
<span></span>
</body>
</html>