NSF Student Travel Grant for 2019 International Conference on Computer-Aided Verification (CAV)

2019 年计算机辅助验证 (CAV) 国际会议 NSF 学生旅费补助金

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

This travel grant provides support for 15 US-based students to attend the 30th Conference on Computer-Aided Verification (CAV) to be held in New York City, July 15-18th 2019. CAV, one of the premier conference in formal verification, is dedicated to the advancement of the theory and practice of computer-aided formal analysis and synthesis methods for hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. This travel grant will enable career development and learning opportunities for US-based and/or US citizen graduate students. Attending conferences like CAV is an important component of graduate school education for our society's future computer science researchers. Students have the opportunity to discuss leading edge research with world-class researchers in formal methods, and establish networks, connections, and mentoring relationships that will serve them well during their research careers. This project aims at increasing the participation of students from underrepresented groups and those from smaller institutions of education, to provide them with equal opportunities, rather than leave them behind.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.

这项旅行赠款为15名美国学生提供了支持，即参加2019年7月15日至18日在纽约市举行的计算机辅助验证会议（CAV）。骑士是正式验证的主要会议之一，致力于进步计算机辅助的正式分析和实践的正式分析和实践的硬件和软件系统。该会议涵盖了从理论结果到具体应用的范围，重点是实施工具以及实施所需的算法和技术。该旅行赠款将为美国和/或美国公民研究生提供职业发展和学习机会。参加CAV之类的会议是我们社会未来计算机科学研究人员研究生院教育的重要组成部分。学生有机会与世界一流的研究人员讨论领先的研究，并建立网络，联系和指导关系，在他们的研究职业期间可以很好地为他们服务。 该项目旨在增加代表性不足的群体和较小教育机构的学生的参与，以为他们提供平等的机会，而不是抛弃他们。该奖项反映了NSF的法定任务，并被认为是值得通过基金会的知识分子优点和更广泛影响的审查标准通过评估来获得支持的。