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

标题：2015俄勒冈州编程语言暑期学校(OPLSS)关于类型、逻辑、语义和验证该奖项为2015年俄勒冈州编程语言暑期学校(OPLSS)的学生提供旅费和生活费。这个暑期班为学生提供了一个重要而宝贵的教育机会，让他们学习与编程语言和方法/验证相关的理论主题。今年学校的重点是“类型、逻辑、语义和验证”。参加的学生来自许多国家。更广泛的意义和重要性包括在基础研究领域建立国际社会和合作，以及加强美国学生的教育，包括女性和代表性不足的少数族裔，接触尖端研究和研究人员并与其互动。因此，该学院将在工业界和学术界培养下一代编程语言、编译器和软件工程研究人员。

Title: 2015 Oregon Programming Languages Summer School (OPLSS) on Types, Logic, Semantics, and VerificationThis award provides student travel and subsistence for the 2015 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 broader significance and importance include building international community and cooperation in foundational research areas, and enhancing education of US students, including women and underrepresented minorities, with exposure to and interaction with leading-edge research and researchers. The school will thus train the next generation of programming languages, compilers and software engineering researchers in both industry and academia.