The purpose of the Verification Mentoring Workshop 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 2020. Other talks will provide mentoring and career advice, from academia and industry.


Workshop: July 20, 2020


We provide travel scholarships for graduate and undergraduate students to attend the workshop and CAV. The application is via the online form below and will be open until April 15, 2020.

Application form

Confirmed Speakers

The list of speakers is growing. The following speakers are confirmed.

Erika Ábrahám, RWTH Aachen University

Rajeev Alur, University of Pennsylvania

Eva Darulova, MPI-SWS

Ranjit Jhala, University of California, San Diego

Rupak Majumdar, MPI-SWS

Ken McMillan, Microsoft Research

Buddy Program

Attending a conference for the first time can be overwhelming and lonely if you don’t know anyone yet! As in previous years, along with the workshop, there will be a buddy program throughout the conference to connect the new and experienced students together. More experienced students can help introduce new students to the field and the CAV community.


Roopsha Samanta (chair)
Purdue University

Rayna Dimitrova
University of Sheffield

Jean-Baptiste Jeannin
University of Michigan

James R. Wilcox
University of Washington