课题基金 / 基金详情

Programming languages mentoring workshop at POPL17

Programming languages mentoring workshop at POPL17
POPL17 编程语言指导研讨会
批准号:
1650816
负责人:
Loris DAntoni
金额:
$2.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2016
资助国家:
美国
项目状态:
已结题
起止时间:
2016-09-01 至 2017-08-31

项目摘要

项目成果

Loris DAntoni的其他基金

相似基金

相关文献

中文摘要
翻译
第六届编程语言指导研讨会(PLMW)将于2017年1月17日举行,作为将在法国巴黎举行的编程语言旗舰会议“编程语言原理”(POPL)的一部分。这笔资助将支持大约8名学生参加PLMW活动和POPL会议。虽然还有其他资金(通过ACM SIGPLAN PAC)用于在POPL发表论文的学生,但该提案专门用于增加来自代表性不足群体的学生数量,并优先考虑美国公民和永久居民。更广泛的意义和重要性涉及到需要扩大参与,为学生提供机会接受编程语言社区主要成员的指导,并在这个重要的研究领域培养下一代研究人员和知识渊博的实践者。
英文摘要
The Sixth Programming Languages Mentoring Workshop (PLMW) will take place on January 17 2017, as part of the flagship programming language conference, Principles of Programming Languages (POPL), which will be held in Paris, France. This grant will support approximately 8 students to attend the PLMW event plus the POPL conference. While there is other funding available (through ACM SIGPLAN PAC) for students who are presenting papers at POPL, this proposal is intended specifically to increase the numbers of students from underrepresented groups and gives priority to US citizens and permanent residents. The broader significance and importance of the grant relate to the need to broaden participation, provide opportunities for students to receive mentoring from leading members of the programming languages community, and build the next generation of researchers and knowledgeable practitioners in this important research arena.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Medium: Reasoning about Multiplicity in the Machine Learning Pipeline
  • 批准号:
    2402833
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $120.0万
  • 财政年份:
    2024
  • 负责人:
    Loris DAntoni
  • 依托单位:
SHF: Medium: Compositional Semantics-Guided Synthesis
  • 批准号:
    2211968
  • 项目类别:
    Standard Grant
  • 资助金额:
    $90.0万
  • 财政年份:
    2022
  • 负责人:
    Loris DAntoni
  • 依托单位:
FMitF: Track I: Formal Methods for Explainable Machine Learning
  • 批准号:
    1918211
  • 项目类别:
    Standard Grant
  • 资助金额:
    $75.0万
  • 财政年份:
    2019
  • 负责人:
    Loris DAntoni
  • 依托单位:
Collaborative Research: Verification Mentoring Workshop at Computer Aided Verification 2019-2021
  • 批准号:
    1905145
  • 项目类别:
    Standard Grant
  • 资助金额:
    $3.32万
  • 财政年份:
    2019
  • 负责人:
    Loris DAntoni
  • 依托单位:
海外基金