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

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