NSF Student Travel Grant for 2019 Formal Methods in Computer-Aided Design (FMCAD)

NSF 2019 年计算机辅助设计形式方法 (FMCAD) 学生旅费补助金

• 批准号: 1935921
• 负责人: Clark Barrett
• 金额: $ 1.5万
• 依托单位: Stanford University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2019
• 资助国家: 美国
• 起止时间: 2019-10-01 至 2020-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1935921&HistoricalAwards=false
• 关键词: NSF; Student; Travel; Grant; 2019

Formal Methods in Computer Aided Design (FMCAD) 2019 is the ninteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. It provides a leading forum to researchers in academia and industry for presenting and discussing ground-breaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. This grant will help support conference travel for up to 15 students enrolled in US institutions to attend FMCAD in San Jose, California October 23-25th 2019. The students will get the opportunity to present at the Student Forum, which is a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback.Formal methods is being rapidly deployed in a variety of areas both in academic research as well as in industrial systems. Thus the broader significance and importance includes fostering the next generation of researchers in this research area, as well as providing international experiences to build a globally-aware workforce. In particular, students will have the opportunity to present at the Student Forum, learn state-of-the-art methodologies, be exposed to novel techniques, and interact with senior researchers in their areas of expertise. The organizers will give priority to students from under-represented groups and from small universities without a formal methods program.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

计算机辅助设计中的形式化方法（FMCAD）2019是关于硬件和系统验证中形式化方法的理论和应用的一系列会议中的第十九届。它为学术界和工业界的研究人员提供了一个领先的论坛，用于介绍和讨论突破性的方法，技术，理论结果和正式推理计算系统的工具。该补助金将帮助支持多达15名在美国机构就读的学生参加2019年10月23日至25日在加州圣何塞举行的FMCAD会议。学生们将有机会在学生论坛上发表演讲，这是一个平台，让处于任何职业阶段的研究生向更广泛的形式化方法社区介绍他们的研究，并征求反馈。形式化方法正在学术研究和工业系统的各个领域迅速部署。因此，更广泛的意义和重要性包括培养这一研究领域的下一代研究人员，以及提供国际经验，以建立一个全球意识的劳动力。特别是，学生将有机会出席学生论坛，学习最先进的方法，接触新技术，并与他们的专业领域的高级研究人员互动。组织者将优先考虑来自代表性不足的群体和没有正式方法项目的小型大学的学生。该奖项反映了NSF的法定使命，并通过使用基金会的智力价值和更广泛的影响审查标准进行评估，被认为值得支持。