课题基金 / 基金详情

Principles of Programming Languages (POPL) 2015

Principles of Programming Languages (POPL) 2015
编程语言原理 (POPL) 2015
批准号:
1451760
负责人:
Ruzica Piskac
金额:
$2.5万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2014
资助国家:
美国
项目状态:
已结题
起止时间:
2014-09-01 至 2015-05-31

项目摘要

项目成果

Ruzica Piskac的其他基金

相似基金

相关文献

中文摘要
翻译
标题:2015年第42届ACM SIGPLAN-SIGACT编程语言原理研讨会(POPL)的学生旅行支持该奖项将支持学生前往2015年ACM SIGPLAN-SIGACT编程语言原理研讨会(POPL)。会议将于2015年1月在印度孟买举行。POPL是一个讨论编程语言和编程系统各个方面的主要工作的论坛。会议有着丰富的支持思想的传统,这些思想对编程语言的理论、设计、实现或应用做出了持久的贡献。支持学生参加专业会议和研讨会是NSF的一项非常重要的任务。更广泛的意义和重要性包括培养该研究领域的下一代研究人员,以及为建立具有全球意识的劳动力提供国际经验。特别是,学生将有机会学习最先进的方法,接触到新的技术,并与他们专业领域的高级研究人员互动。
英文摘要
Title: Student Travel Support for 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2015This award will support student travel to the 2015 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). The conference will be held in Mumbai, India, in January 2015. 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 fostering the next generation of researchers in this research area, as well as providing international experiences to build a globally-aware workforce. In particular, students will 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: Automating and Synthesizing Parallel Zero-Knowledge Protocols
  • 批准号:
    2318974
  • 项目类别:
    Standard Grant
  • 资助金额:
    $45.0万
  • 财政年份:
    2023
  • 负责人:
    Ruzica Piskac
  • 依托单位:
Collaborative Research: FMitF: Track I: Automatic Discovery and Verification of Database Query Transformations
  • 批准号:
    2219995
  • 项目类别:
    Standard Grant
  • 资助金额:
    $35.0万
  • 财政年份:
    2022
  • 负责人:
    Ruzica Piskac
  • 依托单位:
DASS: Accountability from Attention, not Assumption
  • 批准号:
    2131476
  • 项目类别:
    Standard Grant
  • 资助金额:
    $75.0万
  • 财政年份:
    2021
  • 负责人:
    Ruzica Piskac
  • 依托单位:
Student Travel Support for Verification, Model Checking, and Abstract Interpretation (VMCAI) Winter School 2020
  • 批准号:
    2004561
  • 项目类别:
    Standard Grant
  • 资助金额:
    $1.5万
  • 财政年份:
    2020
  • 负责人:
    Ruzica Piskac
  • 依托单位:
海外基金