Verification Mentoring Workshop

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 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 and other conferences at the Federated Logic Conference style=. Other talks will provide mentoring and career advice, from academia and industry.

Program

TBD

CAV Buddy

Along with the workshop, there will be a CAV buddy program throughout the conference to connect the new and experienced students together. Details will be announced here soon.

Funding

We provide travel scholarships for graduate and undergraduate (seniors only) students to attend the workshop and CAV. Details will be announced here soon.

Important Dates

Deadline for submission of applications: April 13, 2018
Notification of travel grants: April 27, 2018
VMW Workshop: July 13, 2018
CAV Conference: July 14 – 17, 2018

Organizers

Lu Feng, University of Virginia
Barbara Jobstmann, EPFL and Cadence Design Systems