<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
{mso-style-priority:99;
mso-style-link:"Plain Text Char";
margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
span.PlainTextChar
{mso-style-name:"Plain Text Char";
mso-style-priority:99;
mso-style-link:"Plain Text";
font-family:"Calibri",sans-serif;}
.MsoChpDefault
{mso-style-type:export-only;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 2.0cm 70.85pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="#0563C1" vlink="#954F72">
<div class="WordSection1">
<p class="MsoNormal" align="center" style="mso-margin-top-alt:20.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm;text-align:center">
<span style="font-size:20.0pt;font-family:"Arial",sans-serif;color:black">Call for Talk, Demo, and Challenge Proposals</span><b><span style="font-size:24.0pt;font-family:"Times New Roman",serif"><o:p></o:p></span></b></p>
<p class="MsoNormal" align="center" style="mso-margin-top-alt:18.0pt;margin-right:0cm;margin-bottom:4.0pt;margin-left:0cm;text-align:center">
<span style="font-family:"Arial",sans-serif;color:black">2nd Rust Verification Workshop</span><b><span style="font-size:18.0pt;font-family:"Times New Roman",serif"><o:p></o:p></span></b></p>
<p class="MsoNormal" align="center" style="text-align:center"><span style="font-family:"Arial",sans-serif;color:black">Co-located with ETAPS 2022<br>
Munich<br>
Sunday, April 03, 2022<br>
</span><span style="font-size:12.0pt;font-family:"Times New Roman",serif"><a href="https://urldefense.com/v3/__https://sites.google.com/view/rustverify2022/home__;!!IBzWLUs!G4xwjmn6v93mHpZ6Tt37BnYL14gdxWDDKZgSwlO-9Sfrs9hqogM9RNBGcF9FAYII5X9yrr7wYQZqUg$"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:#1155CC">https://sites.google.com/view/rustverify2022/home</span></a></span><span style="font-family:"Arial",sans-serif;color:black"> </span><span style="font-size:12.0pt;font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Arial",sans-serif;color:black"><br>
Rust is a new programming language for writing performant code with strong type and memory safety guarantees. It is now considered a serious alternative to C and C++ for systems programming, because it provides high-level abstractions but without the cost of
garbage collection. Given the growing popularity of Rust, and given that bugs in systems programs can be costly, there is growing interest in the program verification community for building program verifiers for Rust. In this workshop, we aim to bring together
language designers, application developers and formal verification tool builders, to exchange ideas and build collaborations around developing verified Rust programs. </span><span style="font-size:12.0pt;font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<span style="font-family:"Arial",sans-serif;color:black">The goal of this workshop is to bring researchers from a variety of different backgrounds and perspectives together to exchange new and exciting ideas concerning the verification of Rust programs and
exploring avenues for collaboration.</span><span style="font-size:12.0pt;font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<span style="font-family:"Arial",sans-serif;color:black">We want the workshop to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, tool demos, and open discussion
sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc. to be posted on this website.</span><span style="font-size:12.0pt;font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<span style="font-family:"Arial",sans-serif;color:black"> </span><span style="font-size:12.0pt;font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<span style="font-family:"Arial",sans-serif;color:black">Call for Talk and Demo Proposals<br>
---------------------------------------------</span><span style="font-size:12.0pt;font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<span style="font-family:"Arial",sans-serif;color:black">We solicit proposals for contributed talks and tool demos. Proposals should be at most 2 pages, in either plain text or PDF format, and should specify how long a talk/demo the speaker wishes to give.
By default, contributed talks will be 30 minutes long, but proposals for shorter or longer talks will also be considered. </span><span style="font-size:12.0pt;font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<span style="font-family:"Arial",sans-serif;color:black">We are interested in talks/demos on all topics related to the verification of Rust programs (including, for instance, program specification, deductive verification, model checking, symbolic execution,
runtime monitoring, the semantics and formalization of Rust, and tool support). Talks about work in progress as well as proposals for challenge problems in Rust are particularly encouraged. </span><span style="font-size:12.0pt;font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<span style="font-family:"Arial",sans-serif;color:black">Please submit by email to
</span><span style="font-size:12.0pt;font-family:"Times New Roman",serif"><a href="mailto:peter.mueller@inf.ethz.ch"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:#1155CC">peter.mueller@inf.ethz.ch</span></a></span><span style="font-family:"Arial",sans-serif;color:black">. </span><span style="font-size:12.0pt;font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;font-family:"Times New Roman",serif"><o:p> </o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<span style="font-family:"Arial",sans-serif;color:black">Important Dates<br>
---------------------</span><span style="font-size:12.0pt;font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<span style="font-family:"Arial",sans-serif;color:black">Deadline for talk/demo proposals: January 14, 2022 (Friday)<br>
Notification of acceptance: February 07, 2022 (Monday)<br>
Workshop: April 03, 2022 (Sunday)</span><span style="font-size:12.0pt;font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<span style="font-family:"Arial",sans-serif;color:black"> </span><span style="font-size:12.0pt;font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="margin-bottom:12.0pt"><span style="font-family:"Arial",sans-serif;color:black">Organizers<br>
----------------</span><span style="font-size:12.0pt;font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<span style="font-family:"Arial",sans-serif;color:black">Rajeev Joshi, Amazon Web Services <</span><span style="font-size:12.0pt;font-family:"Times New Roman",serif"><a href="mailto:jorajeev@amazon.com"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:#1155CC">jorajeev@amazon.com</span></a></span><span style="font-family:"Arial",sans-serif;color:black">><br>
Nicholas Matsakis, Mozilla <</span><span style="font-size:12.0pt;font-family:"Times New Roman",serif"><a href="mailto:nmatsakis@mozilla.com"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:#1155CC">nmatsakis@mozilla.com</span></a></span><span style="font-family:"Arial",sans-serif;color:black">><br>
Peter Müller, ETH Zurich <peter.mueller@inf.ethz.ch></span><span style="font-size:12.0pt;font-family:"Times New Roman",serif"><o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>