[TYPES/announce] [Updated, deadline May 15] Verification Mentoring Workshop 2020: Call for scholarship applications

[Jean-Baptiste Jeannin]

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


*Update: The verification mentoring workshop will be virtual this year,
along with CAV 2020.*
co-organized with CAV 2020
20 July 2020

APPLICATIONS FOR SCHOLARSHIPS

We warmly invite eligible students to apply for scholarships to attend the
Verification Mentoring Workshop and CAV. The deadline for applications is
May 15, 2020. Applications are received via the form at
https://forms.gle/5Nk61at9juHqVTDL8

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

The workshops will be virtual this year, but all students interested in
attending VMW 2020 should still apply for scholarships and watch
http://i-cav.org/2020/mentoring/ for further updates.

SPEAKERS

Erika Ábrahám, RWTH Aachen University
Rajeev Alur, University of Pennsylvania
Eva Darulova, MPI-SWS
Ranjit Jhala, University of California, San Diego
Rupak Majudar, MPI-SWS
Ken McMillan, Microsoft Research

In case of questions, please contact the organizers

Roopsha Samanta (chair) <roopsha at purdue.edu>
Rayna Dimitrova <r.dimitrova at sheffield.ac.uk>
Jean-Baptiste Jeannin <jeannin at umich.edu>
James R. Wilcox <jrw12 at cs.washington.edu>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200514/57b51f53/attachment-0001.html>