CAV 2021是致力于推进硬件和软件系统计算机辅助形式化分析方法理论和实践的系列中的第33个。会议将于2021年7月18日至24日在网上举行。它最初计划在美国加利福尼亚州洛杉矶举行
会议涵盖了从理论结果到具体应用的范围，重点讨论了实际验证工具及其实现所需的算法和技术。CAV认为，在向生物系统和计算机安全等新领域扩展的同时，继续推动硬件和软件验证的发展至关重要。会议记录将在Springer-Verlag上发表计算机科学课堂讲稿系列。预计将邀请部分论文参加系统设计中的形式化方法和美国医学会杂志.
请参阅的信息前几年的CAV.
特色新闻：
4月22日：CAV 2021将是虚拟的。
6月1日：CAV 2021将于7月18-24日举行（研讨会：7月18-19日，教程：7月19日和24日，主要会议：7月20-23日）。
7月17日：这个CAV 2021程序可以在线访问（单击下面的图片或此处：第一部分,第二部分).
我们将在CAV 2021举行两次纪念活动，纪念Edmund Clarke和Bob Kurshan。他们将于7月20日星期二和7月21日星期三上午10:30举行。纪念馆对整个CAV社区开放，你可以找到链接加入在这里.
我们对另一位CAV创始人鲍勃·库尔山的逝世深感悲痛，他于2021年3月10日去世。在某种程度上，鲍勃是CAV的指导精神，他慷慨地付出了自己的时间和巨大的精力，使会议成为今天的样子。他对自动机理论方法的基础研究有助于创建计算机辅助验证领域。他在贝尔实验室和Cadence设计系统公司的实际工作有助于在工业实践中实现正式验证。他是我们工业界和学术界许多人的好朋友和导师。我们感谢Bob在培养当今围绕CAV的充满活力的研究社区方面做出的不可或缺的贡献，并希望在未来继续发扬这一传统。
埃德蒙·克拉克于2020年12月22日去世，我们对他去世深感悲痛。Ed是CAV的创始人，也是该领域富有远见的领导者。他也是我们所有人的朋友、导师和鼓舞者。他的想法、奉献精神和慷慨精神感动了我们每个人的生活，为我们在他帮助创建的领域中的职业生涯奠定了基础。在我们哀悼他的逝世之际，我们感谢他在个人和专业方面的许多贡献，我们知道他的工作将继续激励新一代的研究人员。
奥尔娜·格伦伯格
阿尔蒂·古普塔
丹尼尔·克罗宁
肯·麦克米兰
CAV指导委员会
