2010 Midwest Verification Day Workshop

中西部验证日（MVD）是一个非正式的区域研讨会，由PI于2009年开始，旨在培养验证和正式方法的区域研究网络。 一个主要的关注是为学生提供一个论坛，在一个支持性的环境中介绍他们的正式方法研究，并与其他区域机构的同事建立网络。 MVD的计划，跨越一天半，将主要包括学生讲座，但也包括两个邀请高级研究人员的讲座。 还计划了一个社会项目，以鼓励学生和教师之间的互动。 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.