以色列海法Technion

2022年8月7日至10日

现已开放注册（通过FLoC）。

CAV 2022是致力于推进硬件和软件系统计算机辅助形式分析方法的理论和实践的系列中的第34个。会议涵盖了从理论结果到具体应用的范围，重点讨论了实际验证工具及其实现所需的算法和技术。CAV认为，在向机器学习、自治系统和计算机安全等新领域扩展的同时，继续推动硬件和软件验证的发展至关重要。

FLoC’22即将推出作为实际场地CAV也是如此。以色列正在逐步放宽对新冠肺炎的规定；FLoC’22网站将在https://www.floc2022.org/covid-19. 

受邀演讲人

阿里·古芬克尔 滑铁卢大学	内哈·隆塔 亚马逊网络服务

赞助商