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 2019. Other talks will provide mentoring and career advice, from academia and industry.


Workshop: July 13, 2019

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.
If you are a new student or a more experienced student or researcher, and you would like to participate in the Buddy program, please fill this Google form.
If you have questions about the program, please contact Norine Coenen.


We provide travel scholarships for graduate and undergraduate (Seniors only) students to attend the workshop and CAV. The application is via the form below, and will be open until April 30.

Application form (Google Form)


Aws Albarghouthi, University of Wisconsin-Madison
Constantin Enea, University Paris Diderot
Azadeh Farzan, University of Toronto
Ranjit Jhala, University of California, San Diego
Ruzica Piskac, Yale University
Manu Sridharan, University of California, Riverside

Program (tentative)

  • 9:15 (An opinionated talk on) how to give talks (Ranjit Jhala, University of California, San Diego)
  • 10:00 Coffee Break
  • 10:30 On Synthesis (Aws Albarghouthi, University of Wisconsin-Madison)
  • 11:15 On consistency criteria (Constantin Enea, University Paris Diderot)
  • 12:00 Hands-on: Elevator Pitch
  • 12:45 Lunch Break
  • 14:30 Academia and industry tradeoffs (Manu Sridharan, University of of California, Riverside)
  • 15:15 On Verification (Azadeh Farzan, University of Toronto)
  • 16:00 How to be a productive student? (Ruzica Piskac, Yale University)
  • 16:45 Coffee Break
  • 17:15 Panel discussion
  • 18:00 End


Loris D’Antoni, University of Wisconsin (chair)
Rayna Dimitrova, University of Leicester
Cezara Dragoi, Inria
Anthony W. Lin, Oxford University

Platinum Sponsors

Bronze Sponsors

Silver Sponsors