Travel and Registration Support for Computer Aided Verification 2011

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

• 批准号: 1118485
• 负责人: Ganesh Gopalakrishnan
• 金额: $ 0.7万
• 依托单位: University of Utah
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2011
• 资助国家: 美国
• 起止时间: 2011-04-15 至 2012-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1118485&HistoricalAwards=false
• 关键词: Travel; Registration; Support; Computer; Aided

This funding allows ten students to travel to the Computer Aided Verification 2011 conference and its allied workshops held at Snowbird, Utah, during July 14-20. It also allows these students to partially offset registration costs. The CAV Travel Awards committee emphasizes funding minorities and underrepresented groups. This CAV is 23rd in its series and continues to be pivotal in developing new methods for software and hardware correctness.INTELLECTUAL MERIT: CAV is the premier conference on software and hardware correctness based on model checking and allied technologies. These methods are fundamental to the production of correct hardware and software. This funding allows the advancement of science by increasing attendance and participation by students, especially underrepresented groups. Such participation is vital for sustaining the intellectual aspects of a flagship conference.BROADER IMPACT: This award ensures the participation of students, especially underrepresented groups and minorities, in the software and hardware revolution. It ensures the development of vital technologies for correct operation of computing systems used for critical applications ranging from medical to aerospace. It ensures adequate and broad-based supply of trained manpower for hardware/software industries and academia.

这笔资金允许10名学生参加7月14日至20日在犹他州雪鸟市举行的2011年计算机辅助验证会议及其相关研讨会。它还允许这些学生部分抵消注册费用。CAV旅游奖委员会强调资助少数民族和未被充分代表的群体。本CAV是该系列的第23篇，在开发软件和硬件正确性的新方法方面继续发挥关键作用。知识优势：CAV是基于模型检查和相关技术的软件和硬件正确性的首要会议。这些方法是生产正确的硬件和软件的基础。这笔资金通过增加学生，特别是代表性不足的群体的出勤率和参与度来促进科学的进步。这种参与对于维持旗舰会议的智力方面是至关重要的。更广泛的影响：该奖项确保学生，特别是代表性不足的群体和少数民族，参与软件和硬件革命。它确保从医疗到航空航天等关键应用中使用的计算系统正确操作的关键技术的发展。它确保为硬件/软件行业和学术界提供足够和广泛的训练有素的人力资源。