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

俄勒冈州编程语言暑期学校 (OPLSS)“类型、逻辑、语义和验证”

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

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.

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