课题基金 / 基金详情

Oregon Programming Languages Summer School (OPLSS) on Logic, Languages, Compilation, and Verification

Oregon Programming Languages Summer School (OPLSS) on Logic, Languages, Compilation, and Verification
俄勒冈州编程语言暑期学校 (OPLSS) 关于逻辑、语言、编译和验证
批准号：
1038134
负责人：
Zena Ariola
金额：
$1.5万
依托单位：
University of Oregon Eugene
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2010
资助国家：
美国
项目状态：
已结题
起止时间：
2010-07-01 至 2011-06-30
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1038134&HistoricalAwards=false
关键词：
OregonProgrammingLanguagesSummerOPLSS

项目摘要

项目成果

Zena Ariola的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
This grant provides funds for travel and subsistence for a Summer School on Logic, Languages, Compilation, and Verification. The program can be found at http://www.cs.uoregon.edu/Activities/summerschool/summer10/. The instructors are an all-star cast of energetic researchers/educators who are experts in the covered areas. The workshop has important broader impacts in training the next generation of researchers and educators (for both the instructors and students) by building a sense of community and connecting their research pursuits. Participation is highly international, which helps build US participation in the global research community.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Travel: Oregon Programming Languages Summer School 2023: Types, Semantics, and Logic
  • 批准号：
    2329771
  • 项目类别：
    Standard Grant
  • 资助金额：
    $5.0万
  • 财政年份：
    2023
  • 负责人：
    Zena Ariola
  • 依托单位：
    University of Oregon Eugene
Travel: Oregon Programming Languages Summer School 2022: Types, Semantics, and Program Reasoning
  • 批准号：
    2227189
  • 项目类别：
    Standard Grant
  • 资助金额：
    $4.5万
  • 财政年份：
    2022
  • 负责人：
    Zena Ariola
  • 依托单位：
    University of Oregon Eugene
Oregon Programming Languages Summer School 2019: Foundations of Probabilistic Programming and Security
  • 批准号：
    1933086
  • 项目类别：
    Standard Grant
  • 资助金额：
    $2.5万
  • 财政年份：
    2019
  • 负责人：
    Zena Ariola
  • 依托单位：
    University of Oregon Eugene
NSF Student Travel Grant for 2018 Oregon Programming Languages Summer School on Concurrency and Parallelism (OPLSS)
  • 批准号：
    1832506
  • 项目类别：
    Standard Grant
  • 资助金额：
    $2.5万
  • 财政年份：
    2018
  • 负责人：
    Zena Ariola
  • 依托单位：
    University of Oregon Eugene
海外基金