课题基金 / 基金详情

Student travel support for POPL 2016

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

项目摘要

项目成果

Rastislav Bodik的其他基金

相似基金

相关文献

中文摘要
翻译
职务名称:2016年第43届ACM SIGPLAN-SIGACT程序设计语言原理研讨会(POPL)的学生旅行支持该奖项支持学生参加2016年ACM SIGPLAN-SIGACT程序设计语言原理研讨会(POPL)。会议将于2016年1月在美国佛罗里达的彼得堡举行。POPL是一个讨论编程语言和编程系统各方面领先工作的论坛。该会议有着丰富的传统,支持对编程语言的理论,设计,实现或应用做出持久贡献的想法。支持学生旅行参加专业会议和研讨会是NSF的一项非常重要的使命。更广泛的意义和重要性包括支持妇女和代表性不足的少数民族的旅行,从而在这一重要研究领域培养了一批多样化的下一代研究人员。特别是,学生有机会学习最先进的方法,接触新技术,并与他们的专业领域的高级研究人员互动。
英文摘要
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
  • 依托单位:
海外基金