课题基金 / 基金详情

Student Travel for Programming Languages Mentoring Workshop at International Conference on Functional Programming 2018 (PLMW@ICFP)

Student Travel for Programming Languages Mentoring Workshop at International Conference on Functional Programming 2018 (PLMW@ICFP)
2018 年函数式编程国际会议上的学生编程语言旅行指导研讨会 (PLMW@ICFP)
批准号:
1841504
负责人:
David Van Horn
金额:
$1.5万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2018
资助国家:
美国
项目状态:
已结题
起止时间:
2018-07-15 至 2019-03-31

项目摘要

项目成果

David Van Horn的其他基金

相似基金

相关文献

中文摘要
翻译
作为2018年第23届ACM国际函数式编程会议(ICFP)的一部分,正在组织编程语言指导研讨会(PLMW),这是关于函数式编程的设计、实现、原则和使用的主要会议。会议将在密苏里州圣路易斯市举行。该奖项专门支持代表不足群体的学生,除ICFP会议外,还优先考虑美国公民和永久居民参加辅导研讨会。该奖项的影响涉及扩大对计算的参与,为学生提供接受领先研究人员指导的机会,以及培养编程语言和相关主题的下一代研究人员和知识从业者。该奖项反映了NSF的法定使命,并通过使用基金会的智力优势和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
A Programming Languages Mentoring Workshop (PLMW) is being organized as part of the 23rd ACM International Conference on Functional Programming (ICFP) 2018, the premier conference on the design, implementations, principles, and uses of functional programming. The conference will be held in St. Louis, Missouri. This award specifically supports students from underrepresented groups and gives priority to US citizens and permanent residents to attend the mentoring workshop in addition to the ICFP conference. The impact of the award relates to broadening participation in computing, providing opportunities for students to receive mentoring from leading researchers, and building the next generation of researchers and knowledgeable practitioners in programming languages and related topics.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)
会议论文
CAREER: Gradual Verification: From Scripting to Proving
  • 批准号:
    1846350
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $57.34万
  • 财政年份:
    2019
  • 负责人:
    David Van Horn
  • 依托单位:
NSF Student Travel Grant for the Programming Languages Mentoring Workshop at International Conference on Functional Programming, 2019 (PLMW@ICFP)
SHF: Medium: Collab Research: Synthesizing Verified Analyzers for Critical Software
  • 批准号:
    1900563
  • 项目类别:
    Standard Grant
  • 资助金额:
    $59.8万
  • 财政年份:
    2019
  • 负责人:
    David Van Horn
  • 依托单位:
SHF: Small: Collaborative Research: Online Verification-Validation
  • 批准号:
    1618756
  • 项目类别:
    Standard Grant
  • 资助金额:
    $14.0万
  • 财政年份:
    2016
  • 负责人:
    David Van Horn
  • 依托单位:
海外基金