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.

• Amazon:
  • 23^rd July 1:00pm-2:30pm PST Amazon Lightning Talks
• Microsoft:
  • 22^nd July 7:00am – 8:00am PST Verified Systems with F* and Ivy 
  • 22^nd July 11:30am – 12:30pm PST Armada: Low-Effort Verification of High-Performance Concurrent Programs 
  • 23^rd July 7:00am – 8:00am PST Almost two decades of software model checking at Microsoft 
  • 23^rd July 11:30am – 12:30pm PST Building Robust Asynchronous Systems with Microsoft Coyote
  • 24^th July 7:00am – 8:00am PST Network Verification for Azure Datacenters