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

[Jean-Baptiste Jeannin]

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

co-located with CAV 2020
20 July 2020
Los Angeles, California, USA

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/

Please note that the scholarships this year may not cover travel, depending
on how the current situation evolves. 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/20200505/3f456b23/attachment-0001.html>