课题基金 / 基金详情

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的其他基金

相似基金

相关文献

中文摘要
翻译
这笔赠款为逻辑、语言、汇编和核查暑期学校提供旅费和生活费。 该程序可以在http://www.cs.uoregon.edu/Activities/summerschool/summer10/上找到。 导师是一个充满活力的研究人员/教育工作者谁是在所涵盖的领域的专家全明星演员。 讲习班通过建立社区意识和联系他们的研究追求，在培训下一代研究人员和教育工作者（教师和学生）方面产生了重要的广泛影响。 参与是高度国际化的，这有助于建立美国在全球研究界的参与。
英文摘要
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
海外基金