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

2018 年函数式编程国际会议上的学生编程语言旅行指导研讨会 (PLMW@ICFP)

基本信息

  • 批准号:
    1841504
  • 负责人:
  • 金额:
    $ 1.5万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2018
  • 资助国家:
    美国
  • 起止时间:
    2018-07-15 至 2019-03-31
  • 项目状态:
    已结题

项目摘要

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.
编程语言指导研讨会(PLMW)是2018年第23届ACM函数式编程国际会议(ICFP)的一部分,该会议是关于函数式编程的设计,实现,原则和使用的首要会议。会议将在密苏里州的圣路易斯举行。该奖项专门支持来自代表性不足群体的学生,并优先考虑美国公民和永久居民参加ICFP会议之外的辅导研讨会。该奖项的影响涉及到扩大参与计算,为学生提供机会,接受来自领先的研究人员的指导,并建立下一代的研究人员和知识渊博的从业人员在编程语言和相关主题。该奖项反映了NSF的法定使命,并已被认为是值得通过评估使用基金会的智力价值和更广泛的影响审查标准的支持。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

David Van Horn其他文献

Soft contract verification for higher-order stateful programs
高阶有状态程序的软合约验证
Running Probabilistic Programs Backwards
向后运行概率程序
Higher-order symbolic execution via contracts
通过合约进行高阶符号执行
AnaDroid: Malware Analysis of Android with User-supplied Predicates
AnaDroid:使用用户提供的谓词对 Android 进行恶意软件分析
  • DOI:
    10.1016/j.entcs.2015.02.002
  • 发表时间:
    2013
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Shuying Liang;M. Might;David Van Horn
  • 通讯作者:
    David Van Horn
The effects of catastrophic wildfire on water quality along a river continuum
灾难性野火对河流连续体沿线水质的影响
  • DOI:
    10.1086/684001
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    1.8
  • 作者:
    Justin K. Reale;David Van Horn;K. Condon;C. Dahm
  • 通讯作者:
    C. Dahm

David Van Horn的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('David Van Horn', 18)}}的其他基金

CAREER: Gradual Verification: From Scripting to Proving
职业:逐步验证:从脚本编写到证明
  • 批准号:
    1846350
  • 财政年份:
    2019
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Continuing Grant
NSF Student Travel Grant for the Programming Languages Mentoring Workshop at International Conference on Functional Programming, 2019 (PLMW@ICFP)
NSF 学生旅费资助,用于 2019 年国际函数式编程会议上的编程语言指导研讨会 (PLMW@ICFP)
  • 批准号:
    1940774
  • 财政年份:
    2019
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
SHF: Medium: Collab Research: Synthesizing Verified Analyzers for Critical Software
SHF:媒介:协作研究:为关键软件综合经过验证的分析器
  • 批准号:
    1900563
  • 财政年份:
    2019
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
SHF: Small: Collaborative Research: Online Verification-Validation
SHF:小型:协作研究:在线验证-确认
  • 批准号:
    1618756
  • 财政年份:
    2016
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Collaborative Research: Climatic and Environmental Constraints on Aboveground-Belowground Linkages and Diversity across a Latitudinal Gradient in Antarctica
合作研究:气候和环境对南极洲纬度梯度地上地下联系和多样性的限制
  • 批准号:
    1341427
  • 财政年份:
    2014
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Collaborative Research: THE MCMURDO DRY VALLEYS: A landscape on the Threshold of Change
合作研究:麦克默多干谷:变革门槛上的景观
  • 批准号:
    1245991
  • 财政年份:
    2013
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant

相似海外基金

Travel: Student Travel for the Programming Languages Mentoring Workshop (PLMW) at the International Conference on Functional Programming (ICFP)
旅行:参加国际函数式编程会议 (ICFP) 编程语言指导研讨会 (PLMW) 的学生旅行
  • 批准号:
    2328059
  • 财政年份:
    2023
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
NSF Student Travel Grant for the Programming Languages Mentoring Workshop at ACM SIGPLAN Conference on Programming Language Design and Implementation (PLMW@PLDI), 2023-2025
NSF 学生旅费补助金,用于 ACM SIGPLAN 编程语言设计与实现会议 (PLMW@PLDI) 编程语言指导研讨会,2023-2025 年
  • 批准号:
    2310964
  • 财政年份:
    2023
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Travel: NSF Student Travel Grant for 2023 ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
旅行:2023 年 ACM 编程语言和操作系统架构支持国际会议 (ASPLOS) 的 NSF 学生旅行补助金
  • 批准号:
    2311257
  • 财政年份:
    2023
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Travel: NSF Student Travel Grant for the Programming Languages Mentoring Workshop at ACM SIGPLAN Symposium on Principles of Programming Languages, 2024-2026
旅行:2024-2026 年 ACM SIGPLAN 编程语言原理研讨会编程语言指导研讨会的 NSF 学生旅行补助金
  • 批准号:
    2334703
  • 财政年份:
    2023
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Travel: NSF Student Travel Grant for 2024 ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
旅行:2024 年 ACM 编程语言和操作系统架构支持国际会议 (ASPLOS) 的 NSF 学生旅行补助金
  • 批准号:
    2327889
  • 财政年份:
    2023
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Travel: Student Support for the 38th International Conference on Logic Programming in 2022
旅行:2022 年第 38 届国际逻辑编程会议的学生支持
  • 批准号:
    2211786
  • 财政年份:
    2022
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Travel: Student Travel Grant for the Programming Languages Mentoring Workshop at PLDI 2022
旅费:PLDI 2022 编程语言指导研讨会的学生旅费补助
  • 批准号:
    2227746
  • 财政年份:
    2022
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
NSF Student Travel Grant for the 2022 to 2024 ACM SIGPLAN Conferences on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH)
NSF 学生旅费补助金用于 2022 年至 2024 年 ACM SIGPLAN 系统、编程、语言和应用程序会议:人类软件 (SPLASH)
  • 批准号:
    2230863
  • 财政年份:
    2022
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Travel: Student Travel Grant for 2022 Logic Programming and Non-Monotonic Reasoning Conference and Doctoral Consortium
旅费:2022 年逻辑编程和非单调推理会议及博士联盟的学生旅费补助
  • 批准号:
    2230673
  • 财政年份:
    2022
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
NSF Student Travel Grant for 2020 ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
NSF 学生旅费资助 2020 年 ACM 国际编程语言和操作系统架构支持会议 (ASPLOS)
  • 批准号:
    1936025
  • 财政年份:
    2020
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了