A sharing platform for the Computer-Aided Verification community
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.
32nd International Conference on Computer-Aided Verification
Website: http://i-cav.org/2020/
Registration for virtual participation is free and is open until July 10th!
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).
32nd International Conference on Computer-Aided Verification
Website: http://i-cav.org/2020/