We thank all the sponsors for helping make registration for CAV 2020 free!
We have virtual meetings from two of the Platinum-level sponsors from Amazon and Microsoft. Follow all the 3 Platinum sponsors on CAV20 Slack on channels #sponsor-amazon, #sponsor-facebook-novi and #sponsor-microsoft respectively.
- 23rd July 1:00pm-2:30pm PST Amazon Lightning Talks
- 22nd July 7:00am – 8:00am PST Verified Systems with F* and Ivy
- 22nd July 11:30am – 12:30pm PST Armada: Low-Effort Verification of High-Performance Concurrent Programs
- 23rd July 7:00am – 8:00am PST Almost two decades of software model checking at Microsoft
- 23rd July 11:30am – 12:30pm PST Building Robust Asynchronous Systems with Microsoft Coyote
- 24th July 7:00am – 8:00am PST Network Verification for Azure Datacenters