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!
Location: the conference is held virtually
Conference dates: July 19-24 2020
Affiliated events:
– Verification Mentoring Workshop (VMW): July 19-20.
– Details about additional workshops are available here.