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.
Program
| Time | Speaker | Topic |
| 8:45-9:00 | Grigory Fedyukovich | Welcome |
| 9:00-9:45 | Moshe Vardi | Enhancing Academic Research and Scholarship |
| 9:45-10:30 | Ruzica Piskac | It was the best of times, it was the worst of times: Lessons learned during my PhD studies |
| 10:30-11:00 | Coffee Break | |
| 11:00-11:45 | Ken McMillan | High-level Concepts in Model Checking |
| 12:00-14:00 | Lunch | |
| 14:00-14:45 | Clark Barrett | When AR met AI |
| 14:45-15:30 | Madhusudan Parthasarathy | Research through the Theory Lens: Verification and Learning |
| 15:30-16:00 | Coffee Break | |
| 16:00-17:00 | Panelists: Moshe Vardi, Giuliano Losa, Bernd Finkbeiner, Natasha Sharygina, Temesghen Kahsai | Panel Discussion |
| 18:00-20:00 | Networking Event (in Old Montréal) |
Speakers/Panelists
| Clark Barrett | Stanford University |
| Madhusudan Parthasarathy | UIUC |
| Ken McMillan | UT Austin |
| Natasha Sharygina | Università della Svizzera italiana |
| Moshe Vardi | Rice University |
| Ruzica Piskac | Yale University |
| Giuliano Losa | Stellar Development Foundation |
| Bernd Finkbeiner | CISPA Helmholtz Center for Information Security Saarland University |
| Temesghen Kahsai | Amazon |
Organizers
| Grigory Fedyukovich | Florida State University |
| Eric Koskinen | Stevens Institute of Technology |
| Umang Mathur | National University of Singapore |
| Yoni Zohar | Bar Ilan University |
| Jingbo Wang | Purdue 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: https://forms.gle/xjr5dJBoukb1oyVN6.
Application Deadline: May 1, 2024
Acceptance Notification: May 26, 2024