Midwest Verification Day, 2011

这笔赠款将加强第三届“2011年中西部核查日”（MVD 11）的参与，这是一个非正式研讨会，目的是在广泛的核查和正式方法领域建立一个区域研究网络。长期的目的是使MVD成为一个定期的年度活动，在中西部有相关研究领域代表的大学之间轮流举行。MVD的主要重点是为本科生和研究生提供一种方法，使他们熟悉中西部地区在硬件和软件分析中应用形式方法的正在进行的研究。研讨会还旨在为学生提供一个轻松的、非竞争性的论坛，让他们向工业界参与者以及邻近大学的学生和教师展示自己的研究成果。对于来自中西部的大量研究生和本科生来说，这样的活动可以帮助他们建立联系和信心，以便继续读研究生，或者在学术界进一步发展。这有助于加强正式方法的国内人才库。MVD 11还将加强学术界和工业界之间的区域联系，从长远来看，这种联系可以产生强有力的区域经济影响。

This grant will enhance participation in the third Midwest Verification Day 2011 (MVD 11), an informalworkshop with the goal of developing a regional research network in the broad area of verificationand formal methods. The long-term intention is to make MVD a regular annual event, rotating between universities in the midwest that have representation in the relevant research areas. A major focus of MVD is to provide undergraduate and graduate students a means for becoming familiar with ongoing research in the midwest region in the application of formal methods in hardware and software analysis. The workshop also aims to afford students a relaxed, non-competitive forum for presenting their own research to industrial participants and to students and faculty from neighboring universities.For the significant number of graduate and undergraduate students who originate in the Midwest, such an event can help build the connections and the confidence to go on to graduate school, or advance further in academia. This helps strengthen the domestic talent pool for formal methods. MVD 11 will also strengthen the regional connections between academia and industry, which, over the long term, can have a potent regional economic effect.