NSF Student Travel Grant for 2017 Conference on Computer Aided Verification

该旅行补助金将资助15名美国学生参加2017年7月24日至28日在德国海德堡举行的第29届计算机辅助验证会议（CAV）。CAV是形式验证领域的主要会议之一，致力于推进计算机辅助形式分析和硬件和软件系统综合方法的理论和实践。会议涵盖了从理论结果到具体应用的范围，重点是实际的验证工具以及实现这些工具所需的算法和技术。像CAV这样的会议对于研究生来说是一个近乎独特的机会，可以参加技术演示，与该领域的主要研究人员互动，并获得有关他们研究的宝贵反馈。

This travel grant provides supports for 15 US-based students to attend the 29th Conference on Computer-Aided Verification (CAV) to be held in Heidelberg, Germany, on July 24-28th 2017. CAV, one of the premier conference in formal verification, is dedicated to the advancement of the theory and practice of computer-aided formal analysis and synthesis methods for hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. Conferences like CAV are a near-unique opportunity for graduate students to attend technical presentations, interact with the leading researchers in the field, and receive valuable feedback on their research.