Travel: Oregon Programming Languages Summer School 2023: Types, Semantics, and Logic

旅行：2023 年俄勒冈编程语言暑期学校：类型、语义和逻辑

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

This award provides student subsistence for the 2023 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 Logic". 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 students from underrepresented groups, 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 year's edition of the summer school has an all-woman roster of lecturers.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.

该奖项为2023年俄勒冈州编程语言暑期学校（OPLSS）提供了学生的生活。今年暑期学校为学生提供了重要而宝贵的教育机会，可以研究与编程语言和验证有关的基础主题。今年学校的重点是“类型，语义和逻辑”。暑期学校的重要性和重要性包括：有关如何构建和推理计算系统的可靠性和正确性的指导；在基础研究领域建立国际社会与合作；并通过与领先的研究和研究人员的互动和互动来增强美国学生的教育，包括来自代表性群体不足的学生的学生。通过支持美国的学生，学校将培训行业和学术界的下一代研究人员和从业人员。今年的暑期学校有一个全女性讲师的名册。该奖项反映了NSF的法定任务，并被认为是值得通过基金会的知识分子优点和更广泛的影响评估标准来评估的。