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