Enjoy FLoC 2022 in Haifa!
Check out the two mentoring workshops at FLoC’22 and talk to the sponsors at their booths on site! Read More …
Tag: Verification Mentoring Workshop
Did you miss the Verification Mentoring Workshop 2020?
No problem, you can still watch all the talks on YouTube! The links to the videos are included in the workshop program. Enjoy the workshop at your own pace and also check out the rest of the program at CAV 2020.
Verification Mentoring Workshop (VMW) 2020
VMW is affiliated with CAV 2020. This year the workshop is virtual and registration is free! This is a great place to connect to students and mentors. Check this out in the VMW webpage!
Looking Forward to VMW’20
This year’s Verification Mentoring Workshop is going to have an amazing program – judging by the speakers that are already confirmed! Convince yourself on the VMW website where you will also find the latest updates (also check the CAV’20 homepage for updates).
How to Prepare a Good Talk
Check out Ranjit Jhala‘s talk at the Verification Mentoring Workshop 2019 for tips on how to prepare good talks.
How to Be a Productive Student?
Ruzica Piskac, computer science professor at Yale University, shared some tips on how to be a productive student at the Verification Mentoring Workshop 2019. Check out the slides of her amazing talk.
Tradeoffs between Academia and Industry
Manu Sridharan, from the University of of California, Riverside, talked about the use of program analysis in academia and industry at the Verification Mentoring Workshop 2019:
A Program Synthesis Primer – Slides & Code
By Aws Albarghouthi.
In this repository https://github.com/barghouthi/vmw19, you can find the slides and code of the talk given during the Verification Mentoring Workshop, CAV2019, about program synthesis!
Tips for Your Elevator Pitch
This year at the VMW, we had a great hands-on session to practice the so-called elevator pitch. It is meant to be a quick presentation of your current research to someone that you are just meeting and who is asking about your research. If you want to improve your own elevator pitch you can find some tips on these slides:
How to write a paper
Prof. Larry Paulson wrote this wonderful short guide on how to write a paper. You can find the slides and more interesting mentoring tips on the Verification and Deduction Mentoring Workshop website (FLoC 2018).
CAV: VMW and Buddy Program
Attending the Verification Mentoring Workshop and participating in the Buddy Program are great ways to expand your professional network in the CAV community. Feel free to contact Norine if you have any questions regarding the VMW or the Buddy Program.
Who can be a Buddy?
Everyone can be a buddy! It is, in fact, the very idea of the Buddy Program that more experienced members of the CAV community participate and help younger students to get acquainted with the conference and provide valuable tips. We are looking forward to your participation!