Travel: Oregon Programming Languages Summer School 2022: Types, Semantics, and Program Reasoning

标题：俄勒冈州编程语言暑期学校2022年：类型、语义和程序原因该奖项为2022年俄勒冈州编程语言暑期学校(OPLSS)的学生提供生活费。这个暑期班为学生提供了一个重要而宝贵的教育机会，让他们学习与编程语言和验证相关的基础主题。今年的课程重点是“类型、语义和程序推理”。暑期班的意义和重要性包括：指导如何构建计算系统并就其可靠性和正确性进行推理；在基础研究领域建立国际社会和合作；通过接触前沿研究和研究人员并与其互动，加强对美国学生的教育，包括未被充分代表的少数族裔。通过支持美国学生，学校将培养下一代工业和学术领域的研究人员和实践者。这一奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

Title: Oregon Programming Languages Summer School 2022: Types, Semantics, and Program ReasoningThis award provides student subsistence for the 2022 Oregon Programming Languages Summer School (OPLSS). This summer school provides an important and valuable educational opportunity for students to study foundational topics related to programming languages and verification. The focus of this year's school is "Types, Semantics, and Program Reasoning". The significance and importance of the summer school include: instruction on how to build and reason about reliability and correctness of computing systems; building international community and cooperation in foundational research areas; and enhancing education of US students, including underrepresented minorities, by exposure to and interaction with leading-edge research and researchers. By supporting US-based students, the school will thus train the next generation of researchers and practitioners in both industry and academia.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.