Verification Mentoring Workshop (VMW)

Jean-Baptiste Jeannin, Arjun Radhakrishna, Suguman Bansal, Roopsha Samantha, Caterina Urban

Abstract: 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.

Visit the workshop's website, or select an event below to watch its recording.