The purpose of the Verification Mentoring Workshop is to provide mentoring and career advice to senior undergraduate and junior researchers at all stages, and to attract them to pursue research careers in the area of computer-aided verification. The workshop will particularly encourage the 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 CAV related topics. Other talks will provide mentoring and career advice, from academia and industry.
Invited Speakers

Javier Esparza
Abstract: TBD

Azadeh Farzan
Abstract: TBD

Laura Kovacs
Abstract: TBD

Corina Pasareanu
Abstract: TBD

Serdar Tasiran
Abstract: TBD
Panelists
Ichiro Hasuo | National Institute of Informatics, Japan |
Corina Pasareanu | Carnegie Mellon University, USA |
Shaz Qadeer | Meta, USA |
Ruzica Piskac | Yale University, USA |
Program
TBA
Scholarships
A number of travel scholarships are available to sponsor the physical attendance of students at CAV 2023 and the VMW.
Important Dates
Workshop Dates: July 18, 2023
Scholarship Application Deadline: May 5, 2023 (extended)
Organisers
Ankush Densai | AWS CA |
Eric Koskinen | Stevens Institute of Technology |
Burcu Kulahcioglu Ozkan | TU Delft |
Marijana Lazic | TU Munich |
Matteo Sammartino | Royal Holloway University of London |