[TYPES/announce] Verification Mentoring Workshop 2019: Call for scholarship applications

[Rayna Dimitrova]

Verification Mentoring Workshop (VMW 2019)
http://i-cav.org/2019/mentoring/

co-located with CAV 2019
13 July 2019
New York City, USA


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 30.* Applications are received 
via the form at

https://forms.gle/6z6kUGPWqGoQ7cka6

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 2019. Other talks 
will provide mentoring and career advice, from academia and industry.
More information can be found at http://i-cav.org/2019/mentoring/

SPEAKERS

Aws Albarghouthi, University of Wisconsin-Madison
Azadeh Farzan, University of Toronto
Vijay Ganesh, University of Waterloo
Ranjit Jhala, University of California, San Diego
Ruzica Piskac, Yale University
Manu Sridharan, University of California, Riverside


In case of questions, please contact the organizers

Loris D’Antoni (chair) <loris at cs.wisc.edu>
Rayna Dimitrova <rd307 at leicester.ac.uk>
Cezara Dragoi <cezara.dragoi at inria.fr>
Anthony W. Lin <anthony.w.to at gmail.com>