Verification Mentoring Workshop (VMW) 2023 http://www.i-cav.org/2023/workshops/mentoring/

July 18, 2023 Paris, France

Co-located with the 35th International Conference on Computer Aided Verification (CAV) http://www.i-cav.org/2023/

We warmly invite students to apply for travel scholarships to attend the Verification Mentoring Workshop and CAV 2023. The deadline for applications is April 14th. Applications are received via the form at

https://forms.gle/Yh9rrCdPB2UhrWaq7

ABOUT THE MENTORING WORKSHOP

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.

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.

CONTACT

In case of questions, please contact the VMW organizers: Ankush Densai ankushdesai@gmail.com Eric Koskinen ekoskine@stevens.edu Burcu Kulahcioglu Ozkan B.Ozkan@tudelft.nl Marijana Lazić lazic@in.tum.de Matteo Sammartino Matteo.Sammartino@rhul.ac.uk

============================== Matteo Sammartino, Lecturer Royal Holloway University of London Department of Computer Science Tel.: (+44) (0) 1784 44 3690 Office: 2-07, Bedford Building https://matteosammartino.com/

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.