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

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

基本信息

  • 批准号:
    2329771
  • 负责人:
  • 金额:
    $ 5万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2023
  • 资助国家:
    美国
  • 起止时间:
    2023-06-01 至 2024-02-29
  • 项目状态:
    已结题

项目摘要

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的法定使命,并被认为是值得通过使用基金会的知识价值和更广泛的影响审查标准进行评估的支持。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Zena Ariola其他文献

Zena Ariola的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Zena Ariola', 18)}}的其他基金

Travel: Oregon Programming Languages Summer School 2022: Types, Semantics, and Program Reasoning
旅行:2022 年俄勒冈编程语言暑期学校:类型、语义和程序推理
  • 批准号:
    2227189
  • 财政年份:
    2022
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Oregon Programming Languages Summer School 2019: Foundations of Probabilistic Programming and Security
2019 年俄勒冈编程语言暑期学校:概率编程和安全基础
  • 批准号:
    1933086
  • 财政年份:
    2019
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
NSF Student Travel Grant for 2018 Oregon Programming Languages Summer School on Concurrency and Parallelism (OPLSS)
NSF 学生旅费资助 2018 年俄勒冈编程语言并发与并行暑期学校 (OPLSS)
  • 批准号:
    1832506
  • 财政年份:
    2018
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
SHF: SMALL: Intermediate Languages for Safe and Efficient Compilation
SHF:SMALL:安全高效编译的中间语言
  • 批准号:
    1719158
  • 财政年份:
    2017
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Oregon Programming Languages Summer School 2017: A Spectrum of Types
2017 年俄勒冈编程语言暑期学校:类型谱
  • 批准号:
    1738047
  • 财政年份:
    2017
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
2016 Oregon Programming Languages Summer School (OPLSS) on Types, Logic, Semantics, and Verification
2016 年俄勒冈编程语言暑期学校 (OPLSS) 关于类型、逻辑、语义和验证
  • 批准号:
    1640457
  • 财政年份:
    2016
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
2015 Oregon Programming Languages Summer School (OPLSS) on Types, Logic, Semantics, and Verification
2015 年俄勒冈编程语言暑期学校 (OPLSS) 关于类型、逻辑、语义和验证
  • 批准号:
    1544215
  • 财政年份:
    2015
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
SHF: Small: SEQUBE: A Sequent Calculus Foundation for High- Level and Intermediate Programming Languages
SHF:小型:SEQUBE:高级和中级编程语言的顺序微积分基础
  • 批准号:
    1423617
  • 财政年份:
    2014
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Oregon Programming Languages Summer School (OPLSS) on "Types, Logic, Semantics, and Verification"
俄勒冈州编程语言暑期学校 (OPLSS)“类型、逻辑、语义和验证”
  • 批准号:
    1442720
  • 财政年份:
    2014
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Oregon Programming Languages Summer School (OPLSS) on "Types, Semantics and Verification"
俄勒冈州编程语言暑期学校 (OPLSS)“类型、语义和验证”
  • 批准号:
    1123479
  • 财政年份:
    2011
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant

相似海外基金

Travel: Oregon Programming Languages Summer School 2022: Types, Semantics, and Program Reasoning
旅行:2022 年俄勒冈编程语言暑期学校:类型、语义和程序推理
  • 批准号:
    2227189
  • 财政年份:
    2022
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Oregon Programming Languages Summer School 2019: Foundations of Probabilistic Programming and Security
2019 年俄勒冈编程语言暑期学校:概率编程和安全基础
  • 批准号:
    1933086
  • 财政年份:
    2019
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
NSF Student Travel Grant for 2018 Oregon Programming Languages Summer School on Concurrency and Parallelism (OPLSS)
NSF 学生旅费资助 2018 年俄勒冈编程语言并发与并行暑期学校 (OPLSS)
  • 批准号:
    1832506
  • 财政年份:
    2018
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Oregon Programming Languages Summer School 2017: A Spectrum of Types
2017 年俄勒冈编程语言暑期学校:类型谱
  • 批准号:
    1738047
  • 财政年份:
    2017
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
2016 Oregon Programming Languages Summer School (OPLSS) on Types, Logic, Semantics, and Verification
2016 年俄勒冈编程语言暑期学校 (OPLSS) 关于类型、逻辑、语义和验证
  • 批准号:
    1640457
  • 财政年份:
    2016
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
2015 Oregon Programming Languages Summer School (OPLSS) on Types, Logic, Semantics, and Verification
2015 年俄勒冈编程语言暑期学校 (OPLSS) 关于类型、逻辑、语义和验证
  • 批准号:
    1544215
  • 财政年份:
    2015
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Oregon Programming Languages Summer School (OPLSS) on "Types, Logic, Semantics, and Verification"
俄勒冈州编程语言暑期学校 (OPLSS)“类型、逻辑、语义和验证”
  • 批准号:
    1442720
  • 财政年份:
    2014
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Conference Support for OREGON PROGRAMMING LANGUAGES SUMMER SCHOOL, 2013
俄勒冈州编程语言暑期学校会议支持,2013 年
  • 批准号:
    1338938
  • 财政年份:
    2013
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Conference Support for OREGON PROGRAMMING LANGUAGES SUMMER SCHOOL, 2012
俄勒冈编程语言暑期学校会议支持,2012 年
  • 批准号:
    1240237
  • 财政年份:
    2012
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Oregon Programming Languages Summer School (OPLSS) on "Types, Semantics and Verification"
俄勒冈州编程语言暑期学校 (OPLSS)“类型、语义和验证”
  • 批准号:
    1123479
  • 财政年份:
    2011
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了