Student Travel Support for VMCAI 2014

该奖项支持12名学生参加1月19日至21日在圣地亚哥举办的验证、模型检查和抽象解释国际会议（VMCAI）。VMCAI是一个成功建立的会议，它弥合了用于正式验证的各种方法之间的差距。VMCAI是一个广泛合作和交叉施肥的来源，吸引了许多相关领域的重要研究人员。参加VMCAI的学生可以学到很多东西，比如学习最先进的方法，接触到新的技术，并与他们所选择的专业领域的高级研究人员互动。正式核查的重要性正在被广泛接受。增加VMCAI学生的出席率将使更多的学生接触到该领域令人兴奋的发展，从长远来看，将有助于在该领域建立广泛的专业知识基础，这将对行业和学术界产生影响。

The award supports the attendance of twelve students to the International conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), to be hosted in San Diego, January 19-21. VMCAI is a successful established conference that bridges the gap between the various methodologies that are used for formal verification. VMCAI been a source for much collaboration and cross-fertilization and has attracted many of the key researchers in the related fields. Students have much to gain from attending VMCAI like learning state-of-the-art methodologies, being exposed to novel techniques, and interacting with senior researchers in their chosen area of expertise. The importance of formal verification is becoming widely accepted. Increasing the attendance of students in VMCAI will expose more students to the exciting developments in the field and in the long run will help to build a broad base of expertise in the field, which will impact both industry and academia.