[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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) <roop...@purdue.edu>
Rayna Dimitrova <r.dimitr...@sheffield.ac.uk>
Jean-Baptiste Jeannin <jean...@umich.edu>
Arjun Radhakrishna <arra...@microsoft.com>
James R. Wilcox <jr...@cs.washington.edu>
