[madPL] FW: Verification Mentoring Workshop 2024 Scholarships

[YUHAO ZHANG <yuhao.zhang@xxxxxxxx>]

An awesome opportunity for new graduate students! The deadline for application is April 24.

 

From: Jingbo Wang <jingbowang24@xxxxxxxxx>
Date: Wednesday, April 10, 2024 at 9:04âPM
To: YUHAO ZHANG <yuhao.zhang@xxxxxxxx>
Subject: Verification Mentoring Workshop 2024 Scholarships

Dear all,

 

Verification Mentoring Workshop 2024: Call for scholarship applications

 

Verification Mentoring Workshop (VMW 2024)

https://i-cav.org/2024/workshops/mentoring/

 

co-located with CAV 2024

22 July 2024

Montreal, Canada.

 

APPLICATIONS FOR TRAVEL SCHOLARSHIPS

 

We warmly invite eligible students to apply for travel scholarships to attend

the Verification Mentoring Workshop and CAV.  The deadline for applications is

April 24. Applications are received via the form at

https://forms.gle/xjr5dJBoukb1oyVN6

 

 

ABOUT VMW

 

The purpose of the Verification Mentoring Workshop is to provide mentoring and

career advice to early-stage graduate students, to attract them to pursue

research careers in the area of computer-aided verification. The workshop will

particularly encourage 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 topics highlighted at CAV 2024. Other talks will provide mentoring

and career advice, from academia and industry. More information can be found at 

https://i-cav.org/2024/workshops/mentoring/

 

In case of questions, please contact the organizers

 

Grigory Fedyukovich grigory@xxxxxxxxxx

Eric Koskinen ekoskine@xxxxxxxxxxx

Umang Mathur umathur@xxxxxxxxxx

Jingbo Wang wang6203@xxxxxxxxxx

Yoni Zohar yoni.zohar@xxxxxxxxx