<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:0in;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
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;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
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" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal">Verification Mentoring Workshop (VMW) 2021<o:p></o:p></p>
<p class="MsoNormal"><a href="http://i-cav.org/2021/mentoring/">http://i-cav.org/2021/mentoring/</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">co-located online with CAV 2021<o:p></o:p></p>
<p class="MsoNormal">18-19th July 2021<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Call for Participation<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Are you an undergraduate or a graduate student interested in computer aided verification and formal methods, but don't know where to start? Are you looking for advice and mentoring on doing research, on grad school and beyond? We invite
you to participate in the Verification Mentoring Workshop (VMW) 2021.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">VMW is co-hosted with Computer Aided Verification (CAV) 2021 and will be held online on July 18th and 19th 2021. The purpose of the Verification Mentoring Workshop is to provide mentoring and career advice to early-stage graduate students
and late-stage undergraduate students, and introduce them to research topics aligned with the CAV conference and, more generally, formal methods. The workshop particularly encourages participation of women and underrepresented minorities.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The program for VMW 2021 includes a number of talks and interactive sessions. The technical talks will provide gentle introductions to several recurring research themes in CAV, while the mentoring talks will provide useful tips about how
to do good research and how to communicate your research well. The program also includes a panel that will feature leading researchers in the field. More information can be found at
<a href="http://i-cav.org/2021/mentoring/">http://i-cav.org/2021/mentoring/</a>. <o:p>
</o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">VMW will provide financial support to select students to cover the registration fees for VMW and the CAV conference. Interested students are encouraged to apply here before June 18th, 2021:
<a href="https://forms.gle/acivSdF4P4Xkjm4u7">https://forms.gle/acivSdF4P4Xkjm4u7</a>.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Confirmed Speakers:<o:p></o:p></p>
<p class="MsoNormal">Christel Baier, TU Dresden<o:p></o:p></p>
<p class="MsoNormal">Chuchu Fan, MIT<o:p></o:p></p>
<p class="MsoNormal">Temesghen Kahsai, Amazon<o:p></o:p></p>
<p class="MsoNormal">Oded Padon, VMWare Research<o:p></o:p></p>
<p class="MsoNormal">Sukyoung Ryu, KAIST<o:p></o:p></p>
<p class="MsoNormal">Moshe Y. Vardi, Rice University<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">In case of questions, please contact the organizers:<o:p></o:p></p>
<p class="MsoNormal">Jean-Baptiste Jeannin, University of Michigan <o:p></o:p></p>
<p class="MsoNormal">Arjun Radhakrishna, Microsoft<o:p></o:p></p>
<p class="MsoNormal">Suguman Bansal, University of Pennsylvania<o:p></o:p></p>
<p class="MsoNormal">Caterina Urban, INRIA & École Normale Supérieure | PSL University<o:p></o:p></p>
<p class="MsoNormal">Roopsha Samanta, Purdue University<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>