<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 class="elementToProof" style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(34, 34, 34);">
Dear all, </div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(34, 34, 34);">
<br>
</div>
<div style="background-color: rgb(255, 255, 255);">
<p style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(0, 0, 0);">Verification Mentoring Workshop (VMW) 2024</span></p>
<p style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(17, 85, 204);"><a href="https://urldefense.com/v3/__http://www.i-cav.org/2024/workshops/mentoring/__;!!IBzWLUs!Tij4iuL2Yn0uuVTdwjpZyWkgdXW-sdhjJP2IJjRtUoKqkr_yGT68sTmAsk4gfy-El3v1gbp197p_XLjPpr1TvAUQuhUPDc9Sn9I$" target="_blank" id="OWA2d02b61c-e094-c6d4-530b-f7e55cf5d144" class="OWAAutoLink" data-saferedirecturl="https://www.google.com/url?q=http://www.i-cav.org/2024/workshops/mentoring/&source=gmail&ust=1713381453383000&usg=AOvVaw2DHdLnmNhvZons95RdB8C8" data-loopstyle="linkonly" style="color: rgb(17, 85, 204); margin-top: 0px; margin-bottom: 0px;">http://www.i-cav.org/2024/<wbr style="color:rgb(17, 85, 204)">workshops/mentoring/</a></span></p>
<div style="text-align: left; font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(34, 34, 34);">
<br>
</div>
<p class="elementToProof" style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(0, 0, 0);">July 22, 2024</span></p>
<p style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(0, 0, 0);">Montreal, Canada</span></p>
<div style="text-align: left; font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(34, 34, 34);">
<br>
</div>
<p style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(0, 0, 0);">Co-located with the 36th International Conference on Computer Aided Verification (CAV)</span></p>
<p style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(17, 85, 204);"><a href="https://urldefense.com/v3/__http://www.i-cav.org/2024/__;!!IBzWLUs!Tij4iuL2Yn0uuVTdwjpZyWkgdXW-sdhjJP2IJjRtUoKqkr_yGT68sTmAsk4gfy-El3v1gbp197p_XLjPpr1TvAUQuhUPoSTnPe0$" target="_blank" id="OWA91cc75a6-8fa7-35e0-5683-1fe33b2015e5" class="OWAAutoLink" data-saferedirecturl="https://www.google.com/url?q=http://www.i-cav.org/2024/&source=gmail&ust=1713381453383000&usg=AOvVaw3fas3VtjUwcB2-28PeBc1W" data-loopstyle="linkonly" style="color: rgb(17, 85, 204); margin-top: 0px; margin-bottom: 0px;">http://www.i-cav.org/2024/</a></span></p>
<div style="text-align: left; font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(34, 34, 34);">
<br>
</div>
<p style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(0, 0, 0);">CALL FOR SCHOLARSHIP APPLICATIONS</span></p>
<div style="text-align: left; font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(34, 34, 34);">
<br>
</div>
<p style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(0, 0, 0);">We warmly invite students to apply for travel scholarships to attend the Verification Mentoring Workshop and CAV 2024. Applications are received via the form at </span></p>
<div style="text-align: left; font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(34, 34, 34);">
<br>
</div>
<p style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(17, 85, 204);"><a href="https://urldefense.com/v3/__https://forms.gle/xjr5dJBoukb1oyVN6__;!!IBzWLUs!Tij4iuL2Yn0uuVTdwjpZyWkgdXW-sdhjJP2IJjRtUoKqkr_yGT68sTmAsk4gfy-El3v1gbp197p_XLjPpr1TvAUQuhUPzEkdwlc$" target="_blank" id="OWAa390f643-a8a1-4f91-6d24-8395397344a0" class="OWAAutoLink" data-saferedirecturl="https://www.google.com/url?q=https://forms.gle/xjr5dJBoukb1oyVN6&source=gmail&ust=1713381453383000&usg=AOvVaw0jDOUXaBekmJb18rYrOGiE" data-loopstyle="linkonly" style="color: rgb(17, 85, 204); margin-top: 0px; margin-bottom: 0px;">https://forms.gle/<wbr style="color:rgb(17, 85, 204)">xjr5dJBoukb1oyVN6</a></span><span style="font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(0, 0, 0);"> </span></p>
<p style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(0, 0, 0);">Deadline: April 24, 2024</span></p>
<div style="text-align: left; font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(34, 34, 34);">
<br>
</div>
<p style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(0, 0, 0);">ABOUT THE MENTORING WORKSHOP</span></p>
<div style="text-align: left; font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(34, 34, 34);">
<br>
</div>
<p style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; padding: 0pt 0pt 15pt;">
<span style="font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(64, 64, 64);">The purpose of the Verification Mentoring Workshop is to provide mentoring and career advice to senior undergraduate and junior researchers at all stages, and to attract
them to pursue research careers in the area of computer-aided verification. The workshop will particularly encourage the participation of women and underrepresented minorities.</span></p>
<p style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; padding: 0pt 0pt 15pt;">
<span style="font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(64, 64, 64);">The workshop program will include a number of talks and interactive sessions. The talks will give an overview of the field along with brief introductions to the varied
CAV related topics. Other talks will provide mentoring and career advice, from academia and industry.</span></p>
<div style="text-align: left; font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(34, 34, 34);">
<br>
</div>
<p style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(0, 0, 0);">CONTACT</span></p>
<div style="text-align: left; font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(34, 34, 34);">
<br>
</div>
<p style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(0, 0, 0);">In case of questions, please contact the VMW organizers:</span></p>
<p style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(0, 0, 0);">Grigory Fedyukovich <</span><span style="font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(17, 85, 204);"><a href="mailto:grigory@cs.fsu.edu" target="_blank" id="OWA380465d9-544a-e4b4-5757-9f8849e04c59" class="OWAAutoLink" data-loopstyle="linkonly" style="color: rgb(17, 85, 204); margin-top: 0px; margin-bottom: 0px;">grigory@cs.fsu.edu</a></span><span style="font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(0, 0, 0);">> </span></p>
<p style="direction: ltr; text-align: left; text-indent: 0px; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(0, 0, 0);">Eric Koskinen <</span><span style="font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(17, 85, 204);"><a href="mailto:ekoskine@stevens.edu" target="_blank" id="OWA1bedd906-486c-a36e-1691-1c9842322ab6" class="OWAAutoLink" data-loopstyle="linkonly" style="color: rgb(17, 85, 204); margin-top: 0px; margin-bottom: 0px;">ekoskine@stevens.edu</a></span><span style="font-family: arial, sans-serif; font-size: 9.75pt; color: rgb(0, 0, 0);">></span></p>
</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
</body>
</html>