Date: July 22, 2024

The purpose of the Verification Mentoring Workshop (VMW) 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.


9:00-9:45Moshe VardiEnhancing Academic Research and Scholarship
9:45-10:30Ruzica PiskacIt was the best of times, it was the worst of
times: Lessons learned during my PhD studies
10:30-11:00Coffee Break
11:00-11:45Ken McMillanHigh-level Concepts in Model Checking
14:00-14:45Clark BarrettWhen AR met AI
14:45-15:30Madhusudan ParthasarathyResearch through the Theory Lens: Verification and Learning
15:30-16:00Coffee Break
16:00-17:00Panel Discussion
17:00-18:00Networking Event


Clark BarrettStanford University
Madhusudan ParthasarathyUIUC
Ken McMillanUT Austin
Natasha SharyginaUniversità della Svizzera italiana
Moshe VardiRice University
Ruzica PiskacYale University


Grigory FedyukovichFlorida State University
Eric KoskinenStevens Institute of Technology
Umang MathurNational University of Singapore
Yoni ZoharBar Ilan University
Jingbo WangPurdue University

Student Travel Scholarship

We warmly invite students to apply for travel scholarships to attend the Verification Mentoring Workshop and CAV 2024. Applications are received via the form at:

Application Deadline: May 1, 2024
Acceptance Notification: May 26, 2024