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.
Schedule
Funding
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.
Organizers
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:
