A sharing platform for the Computer-Aided Verification community
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).
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.
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!