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

该奖项为2014年俄勒冈州编程语言暑期学校（OPLSS）提供学生旅行和生活费。这个暑期学校为学生提供了一个重要而宝贵的教育机会，学习与编程语言和方法/验证相关的理论主题。今年学校的重点是“类型，逻辑，语义和验证”。参加的学生来自许多国家。NSF的支持确保了美国学生的参与，同时关注代表性不足的群体。更广泛的影响包括建立国际社会和基础研究领域的合作，以及通过接触前沿研究和研究人员并与之互动来加强学生的教育。

This award provides student travel and subsistence for the 2014 Oregon Programming Languages Summer School (OPLSS). This summer school provides an important and valuable educational opportunity for students to study theoretical topics related to programming languages and methods/verification. The focus of this year's school is "Types, Logics, Semantics, and Verification". The students who attend are from a large number of countries. The NSF support ensures participation of US students while paying attention to underrepresented groups. The broader impacts include building international community and cooperation in foundational research areas, and enhancing education of students with exposure to and interaction with leading-edge research and researchers.