Conference Support for Midwest Verification Day, UMC Oct 3-4, 2014

中西部验证日会议支持，UMC 2014 年 10 月 3-4 日

• 批准号: 1450406
• 负责人: Rohit Chadha
• 金额: $ 1万
• 依托单位: University of Missouri-Columbia
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2014
• 资助国家: 美国
• 起止时间: 2014-08-01 至 2015-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1450406&HistoricalAwards=false
• 关键词: Conference; Support; Midwest; Verification; Day

This award will support student travel to the sixth Midwest Verification Day (MVD), to be held at the University of Missouri-Columbia in October 2014. 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, with a special focus on PhD. students at an advanced stage in their program and students who would otherwise not be able to attend MVD. Supporting student travel to attend professional conferences and workshops is a very important mission of the NSF. The broader impacts include training the next generation of researchers in this important research area. An event like MVD is a helpful stepping stone on the way to successful engagement with the broader international research community.

该奖项将支持学生前往第六届中西部验证日（MVD），将于2014年10月在密苏里大学哥伦比亚分校举行。MVD是一个非正式的区域研讨会，其目标是在核查和正式方法方面建立一个区域研究网络。这些资金将帮助支持美国学生，特别是博士生。学生在他们的程序的高级阶段和学生谁否则将无法参加MVD。支持学生旅行参加专业会议和研讨会是NSF的一项非常重要的使命。更广泛的影响包括培训这一重要研究领域的下一代研究人员。像MVD这样的活动是与更广泛的国际研究界成功合作的有益垫脚石。