课题基金 / 基金详情

Midwest Programming Languages Summit 2018

Midwest Programming Languages Summit 2018
2018 年中西部编程语言峰会
批准号:
1834480
负责人:
Loris DAntoni
金额:
$0.5万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2018
资助国家:
美国
项目状态:
已结题
起止时间:
2018-09-01 至 2020-02-29

项目摘要

项目成果

Loris DAntoni的其他基金

相似基金

相关文献

中文摘要
翻译
该奖项将支持学生前往第七届中西部编程语言峰会,将于2018年9月在威斯康星大学麦迪逊分校举行。本次研究研讨会将为研究人员和学生提供一个宝贵的论坛,让他们分享正在进行的研究想法,并获得及时的反馈,以影响后续的工作。这将是特别有价值的,因为在中西部高度集中的编程语言研究人员,因为它将提供研究生研究人员的机会,网络和进一步发展他们的研究和演讲技巧。来自该奖项的资金将帮助支持在美国的学生,重点是在其项目的高级阶段的研究生和那些否则无法参加本次研讨会的学生。其影响包括在这一重要研究领域培养下一代研究人员。我们将优先考虑做演讲的学生,并将重点放在支持来自代表性不足群体的学生。该奖项反映了美国国家科学基金会的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
This award will support student travel to the seventh Midwest Programming Languages Summit, to be held at University of Wisconsin-Madison in September 2018. This research workshop will serve as a valuable forum for researchers and students to share in-progress research ideas and receive timely feedback to influence subsequent work. This will be particularly valuable because of the high concentration of programming languages researchers in the Midwest, and because it will provide graduate student researchers opportunities to network and further develop their research and presentation skills. The funds from this award will help support U.S. based students, focusing on graduate students at an advanced stage in their program and students who would otherwise not be able to attend this workshop. The impacts include training the next generation of researchers in this important research area. Higher priority will be assigned to students giving presentations and a strong emphasis will be put on supporting students from underrepresented groups.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
期刊论文(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
  • 依托单位:
海外基金