[ 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 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) <roop...@purdue.edu> Rayna Dimitrova <r.dimitr...@sheffield.ac.uk> Jean-Baptiste Jeannin <jean...@umich.edu> James R. Wilcox <jr...@cs.washington.edu>