Student Travel Support for VMCAI 2015

该奖项将支持学生参加2015年第16届国际验证、模型检查和抽象解释会议(VMCAI)。大会将于2015年1月在印度孟买举行。VMCAI是一个会议，它弥合了用于正式验证的各种方法之间的差距。这次会议聚集了两个社区-即模型检查社区和基于抽象解释的程序分析社区-这两个社区在15年前基本上是独立的。支持学生出差参加专业会议和研讨会是NSF的一项非常重要的使命。核查技术正迅速部署在学术研究和工业系统的各个领域。因此，更广泛的意义和重要性包括培养这一研究领域的下一代研究人员，以及提供国际经验来建设一支具有全球意识的劳动力队伍。特别是，学生将有机会学习最先进的方法，接触新技术，并与其专业领域的资深研究人员互动。

Title: Student Travel Support for 16th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI) This award will support student travel to the 2015 16th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI) . The conference will be held in Mumbai, India, in January 2015. VMCAI is a conference that bridges the gap between the various methodologies that are used for formal verification. The conference has brought together two communities---namely, the model checking community and the abstract interpretation-based program analysis community---both of which were largely independent 15 years ago. 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.