July 18, 2016.
The purpose of the Verification Mentoring Workshop (VMW) 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 under-represented 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. Other talks will provide mentoring and career advice, from academia and industry.
Session 1: Research themes
9:00-9:45 Model checking, Ken McMillan, Microsoft Research
9:45-10:30 SAT/SMT/AR, Nikolaj Bjorner, Microsoft Research
10:45-11:30 Static analysis, Anna Zaks, Apple [vmw-zaks-slides]
11:30-12:15 Cyber-physical systems, Sriram Sankaranarayanan, University of Colorado Boulder [vmw-sankaranarayanan-slides]
Session 2: Career mgmt
13:30-13:55 University, Ruzica Piskac, Yale University
13:55-14:20 Research lab, Arie Gurfinkel, SEI CMU
14:20-14:45 Industry, Franjo Ivancic, Google
14:45-15:30 Panel: CAV in industry (Amazon, Apple, Google, Microsoft)
Session 3: Reviewing process
16:00-16:25 Conference, Azadeh Farzan, University of Toronto
16:25-16:45 Funding, Swarat Chaudhuri, Rice University
17:00-onwards Informal discussion
We provide travel scholarships for graduate and undergraduate (Seniors only) students to attend the workshop and CAV. If interested, please apply here:
Deadline for submission of applications:
April 15 April 20, 2016
Notification of travel grants: May 1, 2016
VMW Workshop: July 18, 2016
CAV Conference: July 19 – 23, 2016