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)2018,设计,实施,原理和功能编程用途的主要会议的一部分。会议将在密苏里州圣路易斯举行。该奖项专门为来自代表性不足的团体的学生提供支持,并优先考虑美国公民和永久居民参加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
高阶有状态程序的软合约验证
Higher-order symbolic execution via contracts
通过合约进行高阶符号执行
Running Probabilistic Programs Backwards
向后运行概率程序
Relatively complete counterexamples for higher-order programs
高阶程序比较完整的反例
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

相似国自然基金

旅行身份宽度对游客不道德行为的影响逻辑:身份过程理论视角
  • 批准号:
    72302233
  • 批准年份:
    2023
  • 资助金额:
    30.00 万元
  • 项目类别:
    青年科学基金项目
在线旅游推荐方法研究:基于用户旅行阶段视角
  • 批准号:
    72301144
  • 批准年份:
    2023
  • 资助金额:
    30.00 万元
  • 项目类别:
    青年科学基金项目
非对称旅行商相关问题的近似算法研究
  • 批准号:
    12301414
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
灵长类动物内侧颞叶心理旅行构建过程的神经元机制
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    54 万元
  • 项目类别:
    面上项目
面向大规模复杂任务的多约束着色旅行商问题建模和智能优化算法研究
  • 批准号:
    62203108
  • 批准年份:
    2022
  • 资助金额:
    20 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

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
The Helicase and Nucleic Acid-based Machines Conference: Structure, Mechanism, Regulation and Roles in Human Diseases
解旋酶和核酸机器会议:结构、机制、调节和在人类疾病中的作用
  • 批准号:
    10753877
  • 财政年份:
    2023
  • 资助金额:
    $ 1.5万
  • 项目类别:
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
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了