[DL] VMW at CAV 2024: Call for Scholarship Applications

[Jingbo Wang]

Dear all,

Verification Mentoring Workshop (VMW) 2024

http://www.i-cav.org/2024/workshops/mentoring/

July 22, 2022

Montreal, Canada

Co-located with the 36th International Conference on Computer Aided
Verification (CAV)

http://www.i-cav.org/2024/

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://forms.gle/xjr5dJBoukb1oyVN6

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 <grigory at cs.fsu.edu>

Eric Koskinen <ekoskine at stevens.edu>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20240416/c28e78c8/attachment.htm>