The purpose of the Verification Mentoring Workshop is to provide mentoring and career advice to senior undergraduate and early-stage graduate students, 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 topics highlighted at CAV 2021. Other talks will provide mentoring and career advice, from academia and industry.
Select students will also receive a scholarship to attend VMW and CAV 2021!
Important Dates
Workshop Dates: July 18 and July 19, 2021
Application Deadline: June 18, 2021 June 30, 2021
Program
Session times have been indicated in Pacific Daylight Time (PDT = UTC-7).
Sunday, July 18
| 7:45 AM – 8:00 AM | Welcome and Introductory Remarks |
| 8:00 AM – 9:00 AM | Christel Baier, TU Dresden Title: From Verification to Causality-Based Explications |
| 9:00 AM – 10:00 AM | Moshe Y. Vardi, Rice University Title: Enhancing Academic Research and Scholarship |
| 10:00 AM – 10:30 AM | Coffee Break |
| 10:30 AM – 11:30 AM | Chuchu Fan, MIT Title: Formal Methods in Verifiable Autonomous Systems |
Monday, July 19
| 8:00 AM – 9:00 AM | Sukyoung Ryu, KAIST Title: Let a Little Sunshine in Your Heart |
| 9:00 AM – 10:00 AM | Oded Padon, VMware Research Title: Verification of Distributed Protocols Using Decidable Logics |
| 10:00 AM – 10:30 AM | Coffee Break |
| 10:30 AM – 11:30 AM | Temesghen Kahsai, Amazon Title: On Building Tools in Academia and Industry |
| 11:30 AM – 12:30 PM | Panel Session I Topic: Managing a Research Career: During and After a PhD Panelists: Loris D’Antoni (University of Wisconsin-Madison), Joel Ouaknine (MPI-SWS), Hila Peleg (Technion), Andrey Rybalchenko (MSR Cambridge) |
| 8:00 PM – 9:00 PM | Panel Session II Topic: Managing a Research Career: During and After a PhD Panelists: June Andronick (CSIRO), Supratik Chakraborty (IIT Bombay), Akash Lal (MSR India), Sukyoung Ryu (KAIST) |
Mentoring Workshop Organizing Committee
| Jean-Baptiste Jeannin University of Michigan (Co-Chair) | Arjun Radhakrishna Microsoft Research (Co-chair) | Suguman Bansal University of Pennsylvania | Roopsha Samanta Purdue University | Caterina Urban INRIA École Normale Supérieure |
 |  |  |  |  |