课题基金 / 基金详情

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

Travel: Oregon Programming Languages Summer School 2022: Types, Semantics, and Program Reasoning
旅行:2022 年俄勒冈编程语言暑期学校:类型、语义和程序推理
批准号:
2227189
负责人:
Zena Ariola
金额:
$4.5万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2022
资助国家:
美国
项目状态:
已结题
起止时间:
2022-06-01 至 2023-05-31

项目摘要

项目成果

Zena Ariola的其他基金

相似基金

相关文献

中文摘要
翻译
标题:俄勒冈编程语言暑期学校2022:类型,语义和程序推理该奖项为2022俄勒冈编程语言暑期学校(OPLSS)的学生提供生活费。这个暑期学校为学生提供了一个重要而有价值的教育机会,让他们学习与编程语言和验证相关的基础主题。今年学校的重点是“类型、语义和程序推理”。暑期学校的意义和重要性包括:指导如何构建和推理计算机系统的可靠性和正确性;建设国际社会,开展基础研究合作;通过接触前沿研究和研究人员并与之互动,加强对美国学生(包括代表性不足的少数族裔)的教育。通过支持美国学生,该学院将在产业界和学术界培养下一代研究人员和实践者。该奖项反映了美国国家科学基金会的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Travel: Oregon Programming Languages Summer School 2023: Types, Semantics, and Logic
  • 批准号:
    2329771
  • 项目类别:
    Standard Grant
  • 资助金额:
    $5.0万
  • 财政年份:
    2023
  • 负责人:
    Zena Ariola
  • 依托单位:
Oregon Programming Languages Summer School 2019: Foundations of Probabilistic Programming and Security
  • 批准号:
    1933086
  • 项目类别:
    Standard Grant
  • 资助金额:
    $2.5万
  • 财政年份:
    2019
  • 负责人:
    Zena Ariola
  • 依托单位:
NSF Student Travel Grant for 2018 Oregon Programming Languages Summer School on Concurrency and Parallelism (OPLSS)
  • 批准号:
    1832506
  • 项目类别:
    Standard Grant
  • 资助金额:
    $2.5万
  • 财政年份:
    2018
  • 负责人:
    Zena Ariola
  • 依托单位:
SHF: SMALL: Intermediate Languages for Safe and Efficient Compilation
  • 批准号:
    1719158
  • 项目类别:
    Standard Grant
  • 资助金额:
    $44.93万
  • 财政年份:
    2017
  • 负责人:
    Zena Ariola
  • 依托单位:
海外基金