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

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

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.