[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Verification Mentoring Workshop (VMW) 2023
https://urldefense.com/v3/__http://www.i-cav.org/2023/workshops/mentoring/__;!!IBzWLUs!SIJAjWVvO1x-TgHrAOknVMfEgcR6Lpa4jdlQ7B68OvYBUJsdIr4Gs2zXehFMwmcnuRwM8aTXGJqZs-0I8giVnfLvmYJoMtotn6yp026wytG9$
July 18, 2023
Paris, France
Co-located with the 35th International Conference on Computer Aided
Verification (CAV)
https://urldefense.com/v3/__http://www.i-cav.org/2023/__;!!IBzWLUs!SIJAjWVvO1x-TgHrAOknVMfEgcR6Lpa4jdlQ7B68OvYBUJsdIr4Gs2zXehFMwmcnuRwM8aTXGJqZs-0I8giVnfLvmYJoMtotn6yp0-5ntRbO$
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://urldefense.com/v3/__https://forms.gle/Yh9rrCdPB2UhrWaq7__;!!IBzWLUs!SIJAjWVvO1x-TgHrAOknVMfEgcR6Lpa4jdlQ7B68OvYBUJsdIr4Gs2zXehFMwmcnuRwM8aTXGJqZs-0I8giVnfLvmYJoMtotn6yp04CcBwQh$
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 <[email protected]>
Eric Koskinen <[email protected]>
Burcu Kulahcioglu Ozkan <[email protected]>
Marijana Lazić <[email protected]>
Matteo Sammartino <[email protected]>
==============================
Matteo Sammartino, Lecturer
Royal Holloway University of London
Department of Computer Science
Tel.: (+44) (0) 1784 44 3690
Office: 2-07, Bedford Building
https://urldefense.com/v3/__https://matteosammartino.com/__;!!IBzWLUs!SIJAjWVvO1x-TgHrAOknVMfEgcR6Lpa4jdlQ7B68OvYBUJsdIr4Gs2zXehFMwmcnuRwM8aTXGJqZs-0I8giVnfLvmYJoMtotn6yp0x6M5U2Z$
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.
