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).
Additionally, the Buddy Program will offer you the possibility to connect to other students visiting the conference. It is a great way to expand your network, so be sure to apply!
Stay safe, everyone!