[TYPES/announce] Verification Mentorship Workshop 2020: call for participation

[Jean-Baptiste Jeannin]

Verification Mentoring Workshop (VMW 2020)
http://i-cav.org/2020/mentoring/
co-located (online) with CAV 2020
19-20 July 2020

CALL FOR PARTICIPATION

We invite all undergraduate and graduate students interested in formal
methods to register and participate in the Verification
Mentoring Wokshop (VMW), which will be *hosted online on July 19th and July
20th*. To participate, please register for CAV
<https://forms.gle/YcTQNKe1yJjQn6BG6> *before July 10th*, and *select "VMW
-- Verification Mentoring Workshop"* in the Workshops that you plan to
attend. Registration is at https://forms.gle/YcTQNKe1yJjQn6BG6 and free of
charge.

ABOUT VMW

The purpose of the Verification Mentoring Workshop is to provide mentoring
and career advice to early-stage graduate students and late-stage
undergraduate students, and introduce them to research topics aligned with
the CAV conference and, more generally, formal methods. The workshop
particularly encourages participation of women and underrepresented
minorities.

The program for VMW 2020  includes a number of talks and interactive
sessions. The technical talks will provide gentle introductions to several
recurring research themes in CAV, while the mentoring talks will provide
useful tips about how to do good research and how to communicate your
research well. The program also includes a panel that will address a
variety of topics such as work-life balance and career options.
More information can be found at http://i-cav.org/2020/mentoring/

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>
Arjun Radhakrishna <arradha at microsoft.com>
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/20200702/7ac3876f/attachment-0001.htm>