Call for Participation – 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!

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.