Travel and Registration Support for Computer Aided Verification 2016

该奖项将资助学生参加第28届计算机辅助验证(CAV)国际会议。大会将于2016年7月17日至23日在加拿大多伦多举行。支持学生出差参加专业会议和研讨会是NSF的一项非常重要的使命。核查技术正迅速部署在学术研究和工业系统的各个领域。因此，更广泛的意义和重要性包括培养这一研究领域的下一代研究人员，以及提供国际经验来建设一支具有全球意识的劳动力队伍。特别是，学生将有机会学习最先进的方法，接触新技术，并与其专业领域的资深研究人员互动。

This award will support student travel to the 28th International Conference on Computer Aided Verification(CAV). The conference will be held in Toronto, Canada on July 17-23 2016. Supporting student travel to attend professional conferences and workshops is a very important mission of the NSF. Verification technology is being rapidly deployed in a variety of areas both in academic research as well as in industrial systems. Thus the broader significance and importance includes fostering the next generation of researchers in this research area, as well as providing international experiences to build a globally-aware workforce. In particular, students will have the opportunity to learn state-of-the-art methodologies, be exposed to novel techniques, and interact with senior researchers in their areas of expertise.