<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:Wingdings;
panose-1:5 0 0 0 0 0 0 0 0 0;}
@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;}
@font-face
{font-family:Tahoma;
panose-1:2 11 6 4 3 5 4 4 2 4;}
@font-face
{font-family:Roboto;
panose-1:0 0 0 0 0 0 0 0 0 0;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
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;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
/* List Definitions */
@list l0
{mso-list-id:326909370;
mso-list-template-ids:1921779214;}
@list l0:level1
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:"Courier New";
mso-bidi-font-family:"Times New Roman";}
@list l0:level3
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level4
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level5
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level6
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level7
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level8
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level9
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1
{mso-list-id:1190222863;
mso-list-template-ids:-501961816;}
@list l1:level1
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l1:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:"Courier New";
mso-bidi-font-family:"Times New Roman";}
@list l1:level3
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1:level4
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1:level5
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1:level6
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1:level7
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1:level8
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1:level9
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l2
{mso-list-id:1218514290;
mso-list-template-ids:74643450;}
@list l2:level1
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l2:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:"Courier New";
mso-bidi-font-family:"Times New Roman";}
@list l2:level3
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l2:level4
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l2:level5
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l2:level6
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l2:level7
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l2:level8
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l2:level9
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l3
{mso-list-id:1621035203;
mso-list-template-ids:-1750705330;}
@list l3:level1
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l3:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:"Courier New";
mso-bidi-font-family:"Times New Roman";}
@list l3:level3
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l3:level4
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l3:level5
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l3:level6
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l3:level7
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l3:level8
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l3:level9
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
ol
{margin-bottom:0cm;}
ul
{margin-bottom:0cm;}
--></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-CA" link="#0563C1" vlink="#954F72">
<div class="WordSection1">
<p 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 pleased to announce the
<b>Fifth Rust Verification Workshop (RW2025)</b>, co-located with ETAPS 2025. This workshop aims to bring together researchers, language designers, application developers, and formal verification tool builders to discuss and collaborate on the verification
of Rust programs.</span><o:p></o:p></p>
<p style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<b><span style="font-family:"Arial",sans-serif;color:black">Workshop Details:</span></b><o:p></o:p></p>
<ul style="margin-top:0cm;padding-inline-start:48px" type="disc">
<li style="color:black;margin-top:12.0pt;margin-bottom:0cm;margin-bottom:.0001pt;mso-list:l1 level1 lfo1;vertical-align:baseline">
<b><span style="font-family:"Arial",sans-serif">Dates:</span></b><span style="font-family:"Arial",sans-serif"> May 5-6, 2025<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;margin-bottom:.0001pt;mso-list:l1 level1 lfo1;vertical-align:baseline">
<b><span style="font-family:"Arial",sans-serif">Location:</span></b><span style="font-family:"Arial",sans-serif"> Hamilton, Canada (co-located with ETAPS 2025)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:12.0pt;mso-list:l1 level1 lfo1;vertical-align:baseline">
<b><span style="font-family:"Arial",sans-serif">Website:</span></b><span style="font-family:"Arial",sans-serif">
<a href="https://urldefense.com/v3/__https://sites.google.com/view/rustverify2025__;!!IBzWLUs!VonCua63WIrR889OqLC8OaEIDmHRp6tvFo0R5ix5YPu_tzbnNLTMs7WBjLNO6P7DSiVZF-SYh358f8if-Fwmu3sKYUK2tWaq5ppX$"><span style="color:#1155CC">https://sites.google.com/view/rustverify2025</span></a><o:p></o:p></span></li></ul>
<p style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<b><span style="font-family:"Arial",sans-serif;color:black">Call for Talk and Demo Proposals:</span></b><span style="font-family:"Arial",sans-serif;color:black"> We invite proposals for contributed talks and tool demonstrations on topics related to Rust program
verification, including but not limited to:</span><o:p></o:p></p>
<ul style="margin-top:0cm;padding-inline-start:48px" type="disc">
<li style="color:black;margin-top:12.0pt;margin-bottom:0cm;margin-bottom:.0001pt;mso-list:l3 level1 lfo2;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Program specification<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;margin-bottom:.0001pt;mso-list:l3 level1 lfo2;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Deductive verification<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;margin-bottom:.0001pt;mso-list:l3 level1 lfo2;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Model checking<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;margin-bottom:.0001pt;mso-list:l3 level1 lfo2;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Symbolic execution<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;margin-bottom:.0001pt;mso-list:l3 level1 lfo2;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Runtime monitoring<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;margin-bottom:.0001pt;mso-list:l3 level1 lfo2;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Semantics and formalization of Rust<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:12.0pt;mso-list:l3 level1 lfo2;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Tool support<o:p></o:p></span></li></ul>
<p 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">Proposals should be at most 2 pages (in plain text or PDF) and specify the desired duration of the talk or demo. The default duration is 30 minutes (including time for questions), but shorter or longer
durations will be considered. Submissions about work in progress and challenge problems in Rust are especially encouraged.</span><o:p></o:p></p>
<p style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<b><span style="font-family:"Arial",sans-serif;color:black">Submission Details:</span></b><o:p></o:p></p>
<ul style="margin-top:0cm;padding-inline-start:48px" type="disc">
<li style="color:black;margin-top:12.0pt;margin-bottom:0cm;margin-bottom:.0001pt;mso-list:l0 level1 lfo3;vertical-align:baseline">
<b><span style="font-family:"Arial",sans-serif">Submission Portal:</span></b><span style="font-family:"Arial",sans-serif"> https://easychair.org/conferences/?conf=rw2025<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;margin-bottom:.0001pt;mso-list:l0 level1 lfo3;vertical-align:baseline">
<b><span style="font-family:"Arial",sans-serif">Submission Deadline:</span></b><span style="font-family:"Arial",sans-serif"> February 7, 2025<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:12.0pt;mso-list:l0 level1 lfo3;vertical-align:baseline">
<b><span style="font-family:"Arial",sans-serif">Notification of Acceptance:</span></b><span style="font-family:"Arial",sans-serif"> February 17, 2025<o:p></o:p></span></li></ul>
<p style="mso-margin-top-alt:12.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<b><span style="font-family:"Arial",sans-serif;color:black">Organizing Committee </span>
</b><b><span style="font-family:"Tahoma",sans-serif;color:black">⸺</span></b><b><span style="font-family:"Arial",sans-serif;color:black">
</span></b><a href="mailto:rw2025-organizers@googlegroups.com"><b><span style="font-family:"Roboto",serif;color:#1155CC">rw2025-organizers@googlegroups.com</span></b></a><b><span style="font-family:"Roboto",serif;color:#5F6368"> </span></b><o:p></o:p></p>
<ul style="margin-top:0cm;padding-inline-start:48px" type="disc">
<li style="color:black;margin-top:12.0pt;margin-bottom:0cm;margin-bottom:.0001pt;mso-list:l2 level1 lfo4;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Rajeev Joshi, Amazon Web Services (jorajeev@amazon.com)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;margin-bottom:.0001pt;mso-list:l2 level1 lfo4;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Felix Klock (pnkfelix@pnkfx.org)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:0cm;margin-bottom:.0001pt;mso-list:l2 level1 lfo4;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Andrea Lattuada, Max Planck Institute for Software Systems (andrea@mpi-sws.org)<o:p></o:p></span></li><li style="color:black;margin-top:0cm;margin-bottom:12.0pt;mso-list:l2 level1 lfo4;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Alex Summers, The University of British Columbia (alex.summers@ubc.ca)<o:p></o:p></span></li></ul>
<p 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 look forward to your contributions and to advancing the field of Rust verification together. For more information, please visit our website,
</span><a href="https://urldefense.com/v3/__https://sites.google.com/view/rustverify2025__;!!IBzWLUs!VonCua63WIrR889OqLC8OaEIDmHRp6tvFo0R5ix5YPu_tzbnNLTMs7WBjLNO6P7DSiVZF-SYh358f8if-Fwmu3sKYUK2tWaq5ppX$"><span style="font-family:"Arial",sans-serif;color:#1155CC">https://sites.google.com/view/rustverify2025</span></a><span style="font-family:"Arial",sans-serif;color:black">, or contact the organizers:
</span><a href="mailto:rw2025-organizers@googlegroups.com"><span style="font-size:10.5pt;font-family:"Roboto",serif;color:#1155CC">rw2025-organizers@googlegroups.com</span></a><o:p></o:p></p>
<p 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">Best regards,</span><o:p></o:p></p>
<p 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 RW2025 Organizing Committee</span><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>