2010 Midwest Verification Day Workshop

2010 年中西部验证日研讨会

• 批准号: 1049597
• 负责人: Cesare Tinelli
• 金额: $ 0.53万
• 依托单位: University of Iowa
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2010
• 资助国家: 美国
• 起止时间: 2010-08-01 至 2011-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1049597&HistoricalAwards=false
• 关键词: 2010; Midwest; Verification; Day; Workshop

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.

中西部验证日（MVD）是一个非正式的区域研讨会，由PIS于2009年启动，目的是在验证和正式方法中培养区域研究网络。 一个主要问题是为学生提供一个论坛，以在支持环境中介绍其正式的方法，并与其他区域机构的同事建立联系。 MVD的计划跨越了一个半天，主要由学生会演讲，但还包括高级研究人员的两次邀请演讲。 还计划了一个社会计划，以鼓励学生与教职员工之间的互动。 MVD与附近Rockwell Collins的工业研究人员提出的本地章IEEE会议将在本地中西部地区促进合作，学生发展，招聘和交流思想的交流。 在其他领域的类似活动的经验表明，它们在创建充满活力的区域研究社区中起着至关重要的作用，并为学生提供了宝贵的机会。 MVD将帮助培养该地区的人才，并在工业重要的验证领域从外部吸引人才。 通过将学生与其他区域机构的教师联系起来，MVD将加强本科生继续研究生学习的机会，并帮助为地区研究生做好准备在国际研究界取得成功的机会。 与当地IEE会议和罗克韦尔·柯林斯（Rockwell Collins）的工业联系将有助于行业与学术界之间经济上重要的互动的长期发展。