我们对另一位CAV创始人鲍勃·库尔山的逝世深感悲痛，他于2021年3月10日去世。在某种程度上，鲍勃是CAV的指导精神，他慷慨地付出了自己的时间和巨大的精力，使会议成为今天的样子。他对自动机理论方法的基础研究有助于创建计算机辅助验证领域。他在贝尔实验室和Cadence设计系统公司的实际工作有助于在工业实践中实现正式验证。他是我们工业界和学术界许多人的好朋友和导师。我们感谢Bob在培养当今围绕CAV的充满活力的研究社区方面做出的不可或缺的贡献，并希望在未来继续发扬这一传统。

 

埃德蒙·克拉克于2020年12月22日去世，我们对他去世深感悲痛。Ed是CAV的创始人，也是该领域富有远见的领导者。他也是我们所有人的朋友、导师和鼓舞者。他的想法、奉献精神和慷慨精神感动了我们每个人的生活，为我们在他帮助创建的领域中的职业生涯奠定了基础。在我们哀悼他的逝世之际，我们感谢他在个人和专业方面的许多贡献，我们知道他的工作将继续激励新一代的研究人员。  

 

奥尔娜·格伦伯格
阿尔蒂·古普塔
丹尼尔·克罗宁
肯·麦克米兰
CAV指导委员会