Oregon Programming Languages Summer School (OPLSS) on "Types, Semantics and Verification"

俄勒冈州编程语言暑期学校 (OPLSS)“类型、语义和验证”

• 批准号: 1123479
• 负责人: Zena Ariola
• 金额: $ 1.5万
• 依托单位: University of Oregon Eugene
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2011
• 资助国家: 美国
• 起止时间: 2011-07-01 至 2012-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1123479&HistoricalAwards=false
• 关键词: Oregon; Programming; Languages; Summer; OPLSS

This award provides travel and subsistence to graduates students (and some undergraduates) who will attend the Oregon Programming Languages Summer School (OPLSS) on "Types, Semantics and Verification." The program is available at http://www.cs.uoregon.edu/Activities/summerschool/summer11/. The summer school is a two-week event that brings together top international researchers and students to engage in lectures and discussions on leading-edge foundational topics in programming languages and software verification, much of which is not yet in textbooks. The NSF support ensures participation of US students while paying attention to underrepresented groups. The summer school will help build the next generation of researchers and a global workforce with expertise in these important areas of research and education. 100 students have registered for the 2011 summer school. The organizers will make video of lectures and other educational materials available to the public immediately after the event.

该奖项为将参加俄勒冈州编程语言暑期学校（OPLSS）的“类型、语义和验证”的毕业生（和一些本科生）提供旅行和生活费。“该计划可在http://www.cs.uoregon.edu/Activities/summerschool/summer11/上获得。 暑期学校是一个为期两周的活动，汇集了顶尖的国际研究人员和学生，就编程语言和软件验证的前沿基础主题进行讲座和讨论，其中大部分内容尚未出现在教科书中。 NSF的支持确保了美国学生的参与，同时关注代表性不足的群体。 暑期学校将帮助培养下一代研究人员和一支在这些重要的研究和教育领域具有专业知识的全球劳动力。 100名学生报名参加2011年暑期学校。组织者将在活动结束后立即向公众提供讲座录像和其他教育材料。