<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="elementToProof ContentPasted0">
Verification Mentoring Workshop (VMW) 2023
<div class="ContentPasted0">http://www.i-cav.org/2023/workshops/mentoring/</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">July 18, 2023</div>
<div class="ContentPasted0">Paris, France</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Co-located with the 35th International Conference on Computer Aided Verification (CAV)</div>
<div class="ContentPasted0">http://www.i-cav.org/2023/</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">We warmly invite students to apply for travel scholarships to attend the Verification Mentoring Workshop and CAV 2023. The deadline for applications is extended to May 5th. Applications are received via the form at
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">https://forms.gle/Yh9rrCdPB2UhrWaq7</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">ABOUT THE MENTORING WORKSHOP</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">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.</div>
<div class="ContentPasted0"><br>
</div>
<div class="ContentPasted0">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.</div>
<div><br class="ContentPasted0">
</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">CONTACT</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">In case of questions, please contact the VMW organizers:</div>
<div class="ContentPasted0"><br>
</div>
<div class="ContentPasted0">Ankush Densai <ankushdesai@gmail.com></div>
<div class="ContentPasted0">Eric Koskinen <ekoskine@stevens.edu></div>
<div class="ContentPasted0">Burcu Kulahcioglu Ozkan <B.Ozkan@tudelft.nl></div>
<div class="ContentPasted0">Marijana Laziæ <lazic@in.tum.de></div>
<div class="ContentPasted0">Matteo Sammartino <Matteo.Sammartino@rhul.ac.uk></div>
<br>
</div>
<div class="elementToProof">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div id="Signature">
<div>
<div></div>
<div></div>
<div></div>
<div></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
==============================</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Matteo Sammartino, <span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">Lecturer</span></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Royal Holloway University of London </div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Department of Computer Science</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Tel.: (+44) (0) 1784 44 3690</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Office: 2-07, Bedford Building</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<a href="https://urldefense.com/v3/__https://matteosammartino.com/__;!!IBzWLUs!XnIgZdcMnyxkr0dFq7GgqpAXSRrqgwF3TewlqFGftGwsaehSPdITNVr4_BEOeo_cRiIghrbhyDkCnvMOSYXOnE679fvdkCfxmqGI4PX7K6oy$">https://matteosammartino.com/</a></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
</div>
</div>
</div>
<p>This email, its contents and any attachments are intended solely for the addressee and may contain confidential information. In certain circumstances, it may also be subject to legal privilege. Any unauthorised use, disclosure, or copying is not permitted.
If you have received this email in error, please notify us and immediately and permanently delete it. Any views or opinions expressed in personal emails are solely those of the author and do not necessarily represent those of Royal Holloway, University of
London. It is your responsibility to ensure that this email and any attachments are virus free.</p>
<p></p>
</body>
</html>