CAV 2018是致力于推进硬件和软件系统计算机辅助形式分析方法的理论和实践的系列中的第30个。

作为联合逻辑会议 CAV 2018将与许多其他会议在逻辑上并置。CAV认为，在向生物系统和计算机安全等新领域扩展的同时，继续推动硬件和软件验证的发展至关重要。

会议涵盖了从理论结果到具体应用的范围，重点讨论了实际验证工具及其实现所需的算法和技术。CAV认为，在向生物系统和计算机安全等新领域扩展的同时，继续推动硬件和软件验证的发展至关重要。会议记录将在Springer-Verlag上发表计算机科学课堂讲稿系列。预计将邀请部分论文参加系统设计中的形式化方法和美国医学会杂志.

CAV 2018会议记录

CAV 2018会议记录是开放获取的，分两部分发布，根据程序:

1. 第1部分
2. 第2部分

牛津大学联盟机器人伦理道德辩论

联合逻辑会议和维也纳逻辑与算法中心（VCLA）组织牛津大学联盟关于《机器人伦理道德》2018年7月16日。这场辩论也是后勤休息室系列。LogicLounge首次于2014年在维也纳逻辑夏令营举行（这是逻辑史上规模最大的活动，也是同年联邦逻辑会议的举办地），它已成为CAV的一项常规活动，以纪念已故的Helmut Veith教授。虽然这场辩论是免费的，但需要单独注册。注册链接已打开页面.