Date: July 21
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 | |
|---|---|
| 8:30-8:50 | Breakfast |
| 8:50-9:00 | Opening remarks |
| 9:00-9:45 | Anne-Kathrin Schmuck: The power of feedback — in autonomous cyber-physical systems & for a successful career |
| 9:45-10:30 | Cesare Tinelli: A whirlwind introduction to Satisfiability Modulo Theories and its applications |
| 10:30-11:00 | Coffee break |
| 11:00-12:00 | Roderick Bloem: The Pursuit of a Bad Career |
| 12:00-14:00 | Lunch (provided) with group discussions |
| 14:00-14:45 | Sebastian Junges: Hello, Probabilistic Verification |
| 14:45-15:30 | Sanjit Seshia: From UCLID to UCLID5: 25 Years of Integrating AI and Formal Methods |
| 15:30-16:00 | Coffee break |
| 16:00-17:30 | Mentoring Panel |
| 18:30-20:00 | Organized walking tour in Zagreb, Meeting point: Trg bana Josipa Jelačića |
Student Travel Scholarship
We warmly invite students to apply for travel scholarships to attend the Verification Mentoring Workshop and CAV 2025. Applications are now closed.
Deadline for applications: May 2, 2025
Invited Speakers
Cesare Tinelli, University of Iowa
Title - A whirlwind introduction to Satisfiability Modulo Theories and its applications
Anne-Kathrin Schmuck, Max Planck Institute for Software Systems
Title - The power of feedback — in autonomous cyber-physical systems & for a successful career
Sebastian Junges, Radboud University
Title - Hello, Probabilistic Verification
Roderick Bloem, Graz University of Technology
Title - The Pursuit of a Bad Career
Sanjit Seshia, University of California, Berkeley
Title - From UCLID to UCLID5: 25 Years of Integrating AI and Formal Methods
Panelists
Chana Weil-Kennedy, CEA List
Damien Zufferey, NVIDIA
Daniel Kröning, Amazon
Rayna Dimitrova, CISPA Helmholtz Center for Information Security
Tom Henzinger, IST Austria
Organizers
Grigory Fedyukovich (chair), Florida State University
Mukund Raghothaman (chair), University of Southern California
Elizabeth Polgreen, University of Edinburgh
Kaushik Mallik, IMDEA Software Institute
Thom Badings, University of Oxford