Travel and Registration Support for Computer Aided Verification 2016

2016 年计算机辅助验证差旅和注册支持

• 批准号: 1623587
• 负责人: Pavol Cerny
• 金额: $ 1.5万
• 依托单位: University of Colorado at Boulder
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-02-15 至 2017-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1623587&HistoricalAwards=false
• 关键词: Travel; Registration; Support; Computer; Aided

This award will support student travel to the 28th International Conference on Computer Aided Verification(CAV). The conference will be held in Toronto, Canada on July 17-23 2016. Supporting student travel to attend professional conferences and workshops is a very important mission of the NSF. Verification technology 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 learn state-of-the-art methodologies, be exposed to novel techniques, and interact with senior researchers in their areas of expertise.

该奖项将支持学生前往第28届计算机辅助验证（CAV）国际会议。会议将于2016年7月17日至23日在加拿大多伦多举行。支持学生旅行参加专业会议和研讨会是NSF的一项非常重要的使命。验证技术正在学术研究和工业系统的各个领域迅速部署。因此，更广泛的意义和重要性包括培养这一研究领域的下一代研究人员，以及提供国际经验，以建立一个全球意识的劳动力。特别是，学生将有机会学习最先进的方法，接触新技术，并与他们的专业领域的高级研究人员互动。