Verification Mentoring Workshop

July 19, 2015.

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. Highly technical presentations will be avoided. Other talks will provide mentoring and career advice, from academia and industry.


8.45-9: Introduction by the organizers slides
Session I: Formal Methods: Past, Present, Future
9-9.25: Rajeev Alur (U. Pennsylvania) slides
9.25-9.50: Gerard Holzmann (NASA/JPL) slides
9.50-10: Introductions
10-10.30 break
Session II: Industry and/or academia
10.30-10.50: Ranjit Jhala (UC San Diego)
10.50-11.10: Byron Cook (UCL)
11.10-11.30: Armando Solar-Lezama (MIT)
11.30-11.50: Andreas Kuehlmann (Coverity/Synopsys) slides
(10 min spill slot for questions)
12 – 13.30 Lunch
Session III: Jobs
13.30-13.50: Emina Torlak (U Washington) slides
13.50-14.10: Aws Albarghouthi (U Wisconsin-Madison)
14.10-14.30: Rishabh Singh (Microsoft)
14.30-14.50: Temesghen Kahsai (NASA Ames / CMU)
(10 min spill slot for questions)
1500-1600: Break (15-1530 Coffee)
Session IV: Life in Science, Final Discussions
16.00-16.20: Natarajan Shankar (SRI) slides
16.20-16.40: Orna Grumberg (Technion) slides
16.40-17.00: Questions/Discussions/Comments
17.00-onwards: Informal discussions


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 20, 2015
Notification of travel grants: May 1, 2015
VMW Workshop: July 19, 2015
CAV Conference: July 20 – 24, 2015

The CAV Buddy System

As a part of this workshop we will introduce the CAV buddy system. The goal of this system is to pair students who are new to the field with more experienced people in the field. We are targeting more senior PhD students to be CAV buddies, but postdocs and everyone else is welcome to participate.

Please support this initiative, and register to be a CAV buddy or to ask to be paired with a buddy.


Aarti Gupta, Princeton University, USA.
Rupak Majumdar, Max Plank Institute for Software Systems, Germany.
Corina Pasareanu, NASA/CMU, USA.
Ruzica Piskac, Yale University, USA.

Sponsored By: