我们最终确定会议日期如下：
| 研讨会： |
2019年7月13日至14日 |
| 辅导日： |
2019年7月14日 |
| 主要会议： |
2019年7月15日至18日 |
CAV 2019是致力于推进硬件和软件系统计算机辅助形式分析方法的理论和实践的系列中的第31个。会议将于2019年7月13日至18日在纽约市新学校的各个房间和礼堂举行。
会议涵盖了从理论结果到具体应用的范围，重点讨论了实际验证工具及其实现所需的算法和技术。CAV认为，在向生物系统和计算机安全等新领域扩展的同时，继续推动硬件和软件验证的发展至关重要。会议记录将在Springer-Verlag上发表计算机科学课堂讲稿系列。预计将邀请部分论文参加系统设计中的形式化方法以及美国医学会杂志.