Verification Mentoring Workshop

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.


8:45-9:00 Introduction

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:30-10:45 Break

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]

12:15-13:30 Lunch

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)

15:30-16:00 Break

Session 3: Reviewing process

16:00-16:25 Conference, Azadeh Farzan, University of Toronto

16:25-16:45 Funding, Swarat Chaudhuri, Rice University

16:45-17:00 Break

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:
Scholarship Application

Important Dates

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


Aarti Gupta, Princeton University, USA.
Ruzica Piskac, Yale University, USA.
Andrey Rybalchenko, Microsoft Research, UK.

Sponsored By: