<div dir="ltr">********************************************************************************<br><br>VerifyThis Verification Competition 2020<br><br>CALL FOR PARTICIPATION  --  TRAVEL GRANTS<br><br>Competition to be held at ETAPS 2020<br><br><a href="http://verifythis.ethz.ch">http://verifythis.ethz.ch</a><br><br>********************************************************************************<br><br>IMPORTANT DATES<br><br>Grant application deadline: March 11, 2020<br>Competition: April 25 and 26, 2020<br><br>ABOUT THE COMPETITION<br><br>VerifyThis 2020 is a program verification competition taking place as<br>part of the European Joint Conferences on Theory and Practice of<br>Software (ETAPS 2020) on 25 and 26 April 2020. It is the 9th event in<br>the VerifyThis competition series. Information on previous events and<br>participants can be found at <a href="http://verifythis.ethz.ch">http://verifythis.ethz.ch</a>.<br><br>The aims of the competition are:<br>- to bring together those interested in formal verification, and to<br>provide an engaging, hands-on, and fun opportunity for discussion, and<br>- to evaluate the usability of logic-based program verification tools<br>in a controlled experiment that could be easily repeated by others.<br><br>The competition will offer a number of challenges presented in natural<br>language and pseudo code. Participants have to formalize the<br>requirements, implement a solution, and formally verify the<br>implementation for adherence to the specification.<br><br>There are no restrictions on the programming language and verification<br>technology used. The correctness properties posed in problems will<br>have the input-output behaviour of programs in focus. Solutions will<br>be judged for correctness, completeness and elegance.<br><br>PARTICIPATION<br><br>Participation is open for anybody interested. Teams of up to two<br>people are allowed. Registration for ETAPS workshops and physical<br>presence on site is required.<br><br>We particularly encourage participation of:<br>    - student teams (this includes PhD students)<br>    - non-developer teams using a tool someone else developed<br>    - several teams using the same tool<br><br>To facilitate planning, please also send an email to<br><a href="mailto:verifythis@googlegroups.com">verifythis@googlegroups.com</a> stating your planned team composition and<br>verification system(s) you plan to use.  Informal inquiries are<br>welcome at the same address.<br><br>TRAVEL GRANTS<br><br>The competition is trying to obtain funds for a limited number of<br>travel grants.  A grant covers the incurred travel and accommodation<br>costs up to a certain limit.  We will announce more details at<br><a href="http://verifythis.ethz.ch">http://verifythis.ethz.ch</a> shortly.<br><br>To apply for a travel grant, send an email to <a href="mailto:verifythis@googlegroups.com">verifythis@googlegroups.com</a><br>by March 11, 2020. The application should include:<br>    - your name<br>    - your affiliation<br>    - the verification system(s) you plan to use at the competition<br>    - the planned composition of your team (and whether you are developers of<br>        the tools you'll be using)<br>    - a short letter of motivation explaining your involvement with formal<br>        verification so far<br>    - if you are a student, please state the academic degree you are seeking<br>        and have your supervisor send a brief letter of support to <br>        <a href="mailto:verifythis@googlegroups.com">verifythis@googlegroups.com</a><br><br>ORGANIZERS<br>* Siddharth Krishna, Microsoft Research Cambridge, UK<br>* Wytse Oortwijn, ETH Zurich, Switzerland<br><br>STEERING COMMITTEE<br>* Marieke Huisman, University of Twente, the Netherlands<br>* Rosemary Monahan, Maynooth University, Ireland<br>* Peter Müller, ETH Zurich, Switzerland<br>* Mattias Ulbrich, Karlsruhe Institute of Technology, Germany<br><br>CONTACT<br>Email: <a href="mailto:verifythis@googlegroups.com">verifythis@googlegroups.com</a><br>Web: <a href="http://verifythis.ethz.ch">http://verifythis.ethz.ch</a></div>