[TYPES/announce] VMW at CAV 2025: Call for Scholarship Applications

[Mukund Raghothaman]

Dear all,

Verification Mentoring Workshop (VMW) 2025

https://urldefense.com/v3/__https://conferences.i-cav.org/2025/mentoring/__;!!IBzWLUs!WfiDWXnszEhIvtoJcflZM45SBWO7xBss158R7LisgeCjdyYcw9yKHicDSWZDQpPi9wZ3C2esamxCVk9tuYqse79X1RvWVqd6$ 

July 21, 2025

Zagreb, Croatia

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

https://urldefense.com/v3/__https://conferences.i-cav.org/2025/__;!!IBzWLUs!WfiDWXnszEhIvtoJcflZM45SBWO7xBss158R7LisgeCjdyYcw9yKHicDSWZDQpPi9wZ3C2esamxCVk9tuYqse79X1WXWVkVK$ 

CALL FOR SCHOLARSHIP APPLICATIONS

We warmly invite students to apply for travel scholarships to attend the 
Verification Mentoring Workshop and CAV 2025. Applications are received 
via the form at

https://urldefense.com/v3/__https://docs.google.com/forms/d/e/1FAIpQLSd7d0zcZ6BSepxDfY2hmb2fL8Go7_SWTL_VDkjxjBeprz3Qhw/viewform?usp=dialog__;!!IBzWLUs!WfiDWXnszEhIvtoJcflZM45SBWO7xBss158R7LisgeCjdyYcw9yKHicDSWZDQpPi9wZ3C2esamxCVk9tuYqse79X1f-bfknh$ 

Deadline: April 25, 2025

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:

Mukund Raghothaman <raghotha at usc.edu>

Grigory Fedyukovich <grigory at cs.fsu.edu>