课题基金 / 基金详情

Student travel support for POPL 2016

Student travel support for POPL 2016
POPL 2016 学生旅行支持
批准号:
1549324
负责人:
Rastislav Bodik
金额:
$1.5万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2015
资助国家:
美国
项目状态:
已结题
起止时间:
2015-08-01 至 2016-02-29

项目摘要

项目成果

Rastislav Bodik的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Title: Student Travel Support for 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2016This award supports student travel to the 2016 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). The conference takes place in St. Petersburg, Florida, USA, in January 2016. POPL is a forum for the discussion of leading work on all aspects of programming languages and programming systems. The conference has a rich tradition of supporting ideas that have made enduring contributions to the theory, design, implementation or application of programming languages. Supporting student travel to attend professional conferences and workshops is a very important mission of the NSF. The broader significance and importance includes supporting travel for women and underrepresented minorities, thereby fostering a diverse pool of next generation researchers in this important research area. In particular, students have the opportunity to learn state-of-the-art methodologies, be exposed to novel techniques, and interact with senior researchers in their areas of expertise.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: FMitF: Track I: End-usser Programming for CAD Systems via Language Design and Synthesis
  • 批准号:
    2219864
  • 项目类别:
    Standard Grant
  • 资助金额:
    $50.0万
  • 财政年份:
    2022
  • 负责人:
    Rastislav Bodik
  • 依托单位:
FMitF: Track I: End-User Programming with Synthesis-Guided Interaction Models
  • 批准号:
    2122950
  • 项目类别:
    Standard Grant
  • 资助金额:
    $74.97万
  • 财政年份:
    2021
  • 负责人:
    Rastislav Bodik
  • 依托单位:
RAPID: Collecting Reliable COVID-19 Datasets in Crisis Conditions
  • 批准号:
    2029457
  • 项目类别:
    Standard Grant
  • 资助金额:
    $7.0万
  • 财政年份:
    2020
  • 负责人:
    Rastislav Bodik
  • 依托单位:
FMitF: Track II: Programming by Demonstration for the Browser with Applications in Data Science
  • 批准号:
    1918027
  • 项目类别:
    Standard Grant
  • 资助金额:
    $9.89万
  • 财政年份:
    2019
  • 负责人:
    Rastislav Bodik
  • 依托单位:
海外基金