7月15日:关于虚拟出席的说明如下在这里! 会议程序是在这里(所有时间都在PDT中)!
CAV 2020会议记录(单击下面的图像以打开访问权限):
![](http://i-cav.org/2020/wp-content/uploads/2020/07/978-3-030-53291-8-198x300.jpg)
CAV 2020是致力于推进硬件和软件系统计算机辅助形式分析方法的理论和实践的系列中的第32个。会议将于2020年7月19日至24日在美国加利福尼亚州洛杉矶举行。
会议涵盖了从理论结果到具体应用的范围,重点讨论了实际验证工具及其实现所需的算法和技术。CAV认为,在向生物系统和计算机安全等新领域扩展的同时,继续推动硬件和软件验证的发展至关重要。会议记录将在Springer-Verlag上发表计算机科学课堂讲稿系列。预计将邀请部分论文参加系统设计中的形式化方法和美国医学会杂志.
请参阅的信息前几年的CAV.