Student Travel Support for Verification, Model Checking, and Abstract Interpretation (VMCAI) Winter School 2020

验证、模型检查和摘要解释 (VMCAI) 2020 年冬季学校学生旅行支持

• 批准号: 2004561
• 负责人: Ruzica Piskac
• 金额: $ 1.5万
• 依托单位: Yale University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2020
• 资助国家: 美国
• 起止时间: 2020-02-01 至 2022-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2004561&HistoricalAwards=false
• 关键词: Student; Travel; Support; Verification; Model

This travel grant provides support for 15 US-based students to attend the 32nd Winter School on Verification, Model Checking, and Abstract Interpretation (VMCAI) to be held in New Orleans, January 2020. VMCAI, one of the premier conference in formal verification, provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. The VMCAI winter school will give students the knowledge required to enter the field and present them with some of the newer research directions in the field. Students have much to gain from attending winter school's learning state-of-the-art methodologies, being exposed to new research questions, and interacting with senior researchers in their chosen area of expertise.This travel grant will enable career development and learning opportunities for US-based and/or US citizen graduate students. Attending conferences like the VMCAI winter school is an important component of graduate school education for our society's future computer science researchers. Students have the opportunity to discuss leading edge research with world-class researchers in formal methods, and establish networks, connections, and mentoring relationships that will serve them well during their research careers. This project aims at increasing the participation of students from underrepresented groups and those from smaller institutions of education, to provide them with equal opportunities, rather than leave them behind.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

这笔旅费补助金为 15 名美国学生提供支持，以参加将于 2020 年 1 月在新奥尔良举行的第 32 届验证、模型检查和摘要解释 (VMCAI) 冬季学校。VMCAI 是形式验证领域最重要的会议之一，为验证、模型检查和摘要解释领域的研究人员提供了一个论坛，促进互动、交叉受精以及将这些领域和相关领域相结合的混合方法的进步。 VMCAI冬季学校将为学生提供进入该领域所需的知识，并向他们展示该领域的一些较新的研究方向。参加冬季学校最先进的方法、接触新的研究问题以及与所选专业领域的高级研究人员互动，学生将受益匪浅。这笔旅行补助金将为美国学生提供职业发展和学习机会- 和/或美国公民研究生。对于我们社会未来的计算机科学研究人员来说，参加 VMCAI 冬季学校等会议是研究生教育的重要组成部分。学生有机会以正式的方法与世界一流的研究人员讨论前沿研究，并建立对他们的研究生涯有好处的网络、联系和指导关系。该项目旨在增加来自代表性不足群体和小型教育机构的学生的参与，为他们提供平等的机会，而不是将他们抛在后面。该奖项反映了 NSF 的法定使命，并通过使用基金会的智力价值和更广泛的影响审查标准。