[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
Verification Mentoring Workshop (VMW) 2024
https://urldefense.com/v3/__http://www.i-cav.org/2024/workshops/mentoring/__;!!IBzWLUs!Tij4iuL2Yn0uuVTdwjpZyWkgdXW-sdhjJP2IJjRtUoKqkr_yGT68sTmAsk4gfy-El3v1gbp197p_XLjPpr1TvAUQuhUPDc9Sn9I$
July 22, 2024
Montreal, Canada
Co-located with the 36th International Conference on Computer Aided
Verification (CAV)
https://urldefense.com/v3/__http://www.i-cav.org/2024/__;!!IBzWLUs!Tij4iuL2Yn0uuVTdwjpZyWkgdXW-sdhjJP2IJjRtUoKqkr_yGT68sTmAsk4gfy-El3v1gbp197p_XLjPpr1TvAUQuhUPoSTnPe0$
CALL FOR SCHOLARSHIP APPLICATIONS
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
https://urldefense.com/v3/__https://forms.gle/xjr5dJBoukb1oyVN6__;!!IBzWLUs!Tij4iuL2Yn0uuVTdwjpZyWkgdXW-sdhjJP2IJjRtUoKqkr_yGT68sTmAsk4gfy-El3v1gbp197p_XLjPpr1TvAUQuhUPzEkdwlc$
Deadline: April 24, 2024
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:
Grigory Fedyukovich <[email protected]<mailto:[email protected]>>
Eric Koskinen <[email protected]<mailto:[email protected]>>
