Midwest Verification Day 2016

2016 年中西部验证日

• 批准号: 1707092
• 负责人: Andrew Miner
• 金额: $ 1万
• 依托单位: Iowa State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-11-15 至 2017-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1707092&HistoricalAwards=false
• 关键词: Midwest; Verification; Day; 2016

This award will support student travel to the seventh Midwest Verification Day (MVD), to be held at Iowa State University on October 21-22, 2016. MVD is an informal regional workshop with the goal of cultivating a regional research network in verification and formal methods. The funds will help support U.S. based students, focusing on Ph.D. students at an advanced stage in their program and students who would otherwise not be able to attend MVD. The broader impacts include training the next generation of researchers in this important research area. Higher priority will be assigned to students giving presentations and a strong emphasis will be put on supporting students from underrepresented groups.

该奖项将支持学生前往第七届中西部验证日（MVD），将于2016年10月21日至22日在爱荷华州州立大学举行。MVD是一个非正式的区域研讨会，其目标是在核查和正式方法方面建立一个区域研究网络。这些资金将帮助支持美国学生，重点是博士学位。学生在他们的程序的高级阶段和学生谁否则将无法参加MVD。更广泛的影响包括培训这一重要研究领域的下一代研究人员。更高的优先权将分配给学生做演讲，并将重点放在支持来自代表性不足群体的学生。