2010 Midwest Verification Day Workshop

中西部验证日（MVD）是一个非正式的区域研讨会，由pi于2009年发起，其目标是在验证和正式方法方面建立一个区域研究网络。主要关注的是为学生提供一个论坛，在一个支持性的环境中展示他们的正式方法研究，并与其他地区机构的同事建立联系。在为期1天半的活动中，将以学生演讲为主，并邀请两名高级研究员进行演讲。还计划了一个社会项目，以鼓励学生和教师之间的互动。MVD正在与IEEE地方分会的工业形式方法会议合作，该会议由附近的罗克韦尔柯林斯公司的工业研究人员提出。MVD将在美国中西部地区促进合作、学生发展、招聘和以正式方法和验证的思想交流。在其他领域举办类似活动的经验强烈表明，它们在创建一个充满活力的区域研究社区方面发挥着至关重要的作用，并为学生提供了宝贵的机会。MVD将有助于在该区域内培养人才，并从外部吸引具有重要工业意义的核查领域的人才。通过将学生与来自其他区域机构的教师联系起来，MVD将加强本科生继续研究生学习的机会，并帮助区域研究生为在国际研究界取得成功做好准备。与当地ieee会议和罗克韦尔柯林斯公司的工业联系将有助于工业和学术界之间经济上重要的互动的长期发展。

Midwest Verification Day (MVD) is an informal regional workshop, started by the PIs in 2009, with the goal of cultivating a regional research network in verification and formal methods. A chief concern is to provide a forum for students to present their formal-methods research in a supportive setting, and network with colleagues at other regional institutions. The program for MVD, spanning one and a half days, will consist mostly of student talks, but also include two invited talks by senior researchers. A social program is also planned, to encourage interaction among students and faculty. MVD is colocating with a local-chapter IEEE meeting on industrial formal methods, presented by industrial researchers from nearby Rockwell Collins.MVD will foster collaboration, student development, recruiting, and exchange of ideas in formal methods and verification, in the Midwest region of the country. Experience with similar events in other fields strongly suggests they play a crucial role in creating a vibrant regional research community, and offer invaluable opportunities for students. MVD will help develop talent within the region, and attract it from outside, in the industrially important area of verification. By connecting students with faculty from other regional institutions, MVD will strengthen opportunities for undergraduates to go on to graduate study, and help prepare regional graduate students for success in the international research community. The industrial connection with the local-IEEE meeting and Rockwell Collins will contribute to the long-term development of economically important interactions between industry and academia.