Midwest Verification Day (MVD) 2013

该奖项将支持学生前往第五届中西部验证日（MVD），将于2013年9月在伊利诺伊大学芝加哥举行。MVD是一个非正式的区域研讨会，其目标是在核查和正式方法方面建立一个区域研究网络。这些资金将帮助支持美国学生，重点是博士学位。学生在他们的程序的高级阶段和学生谁否则将无法参加MVD。支持学生旅行参加专业会议和研讨会是NSF的一项非常重要的使命。更广泛的影响包括培训这一重要研究领域的下一代研究人员。

This award will support student travel to the fifth Midwest Verification Day (MVD), to be held at the University of Illinois at Chicago in September 2013. 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. students, focusing on Ph.D. 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. Broader impacts include training the next generation of researchers in this important research area.