NSF Travel and Attendance Grant Proposal for ISSTA/SPIN 2017

NSF ISSTA/SPIN 2017 差旅和出勤补助金提案

• 批准号: 1741648
• 负责人: Tevfik Bultan
• 金额: $ 0.9万
• 依托单位: University of California-Santa Barbara
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2017
• 资助国家: 美国
• 起止时间: 2017-05-01 至 2017-10-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1741648&HistoricalAwards=false
• 关键词: NSF; Travel; Attendance; Grant; Proposal

This grant provides participant support for attendance at the International Symposium on Software Testing and Analysis (ISSTA) and the International Symposium on Model Checking of Software (SPIN), which will be held in Santa Barbara, California, USA, on July 10-14, 2017. ISSTA and SPIN together cover verification, validation, testing, and analysis of software systems, a topic whose criticality increases with the growing complexity and distribution of software-intensive systems. This symposium is one of the top venues for researchers in this area. The funds are to encourage mainly US-based students to attend ISSTA/SPIN. Priority will be given to students in groups typically underrepresented in ISSTA/SPIN communities, such as women, African-Americans, Native Americans, Hispanic Americans, and students from non-PhD-granting US universities. The Symposium provides education, training and professional development of the supported participants, the building of the research community in this important area, and the exposure to senior people in the field and the international research community.

该赠款为参加国际软件测试和分析研讨会（ISSTA）和国际软件模型检查（SPIN）的国际研讨会提供了参与者的支持，该研讨会将于2017年7月10日至14日在美国加利福尼亚州的圣塔芭芭拉举行。iSSTA。ISSTA和旋转的软件范围覆盖，验证，测试，测试，对软件系统的分析，以及对软件的分配，并且具有不断增长的功能，并将其分配得很复杂。该研讨会是该领域研究人员的顶级场所之一。 这些资金是鼓励主要基于美国的学生参加ISSTA/SPIN。在ISSTA/SPIN社区中，妇女，非洲裔美国人，美洲原住民，西班牙裔美国人以及来自非PHD授予美国大学的学生等人的成群的优先级通常为不足。 该研讨会提供了支持参与者的教育，培训和专业发展，在这个重要领域的研究界的建设以及接触该领域和国际研究社区的老年人。