STUDENT MENTORING WORKSHOP AT ICFP 2015

ICFP 2015 学生辅导研讨会

基本信息

  • 批准号:
    1541646
  • 负责人:
  • 金额:
    $ 2.03万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2015
  • 资助国家:
    美国
  • 起止时间:
    2015-06-01 至 2016-02-29
  • 项目状态:
    已结题

项目摘要

Title: Student Mentoring Workshop at ICFP 2015A Student Mentoring Workshop is being organized as part of the 20th International Conference on Functional Programming (ICFP), one of the premier conferences in the area of programming languages. The conference will be held in Vancouver, British Columbia, Canada. This grant will support approximately 15 students to attend the mentoring workshop plus the ICFP conference. This proposal is intended specifically to target women students and 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.
职务名称:ICFP 2015学生指导研讨会学生指导研讨会是第20届函数式编程国际会议(ICFP)的一部分,ICFP是编程语言领域的主要会议之一。会议将在加拿大不列颠哥伦比亚省的温哥华举行。这笔赠款将支持大约15名学生参加辅导讲习班和ICFP会议。该提案专门针对女学生和代表性不足群体的学生,并优先考虑美国公民和永久居民。赠款的更广泛的意义和重要性涉及到需要扩大参与,为学生提供机会,从编程语言社区的主要成员接受指导,并在这个重要的研究竞技场建立下一代的研究人员和知识渊博的从业人员。

项目成果

期刊论文数量(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 }}

Stephanie Weirich其他文献

Dependently typed programming with singletons
使用单例进行依赖类型编程
Combining proofs and programs in a dependently typed language
用依赖类型语言组合证明和程序
RepLib: a library for derivable type classes
RepLib:可派生类型类的库
Programming up to Congruence
编程达到一致性
Ready, Set, Verify!
准备、设置、验证!
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Joachim Breitner;Antal Spector;Li;C. Rizkallah;John Wiegley;Stephanie Weirich
  • 通讯作者:
    Stephanie Weirich

Stephanie Weirich的其他文献

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

{{ truncateString('Stephanie Weirich', 18)}}的其他基金

SHF: SMALL:Dependency Tracking and Dependent Types
SHF:SMALL:依赖性跟踪和依赖性类型
  • 批准号:
    2327738
  • 财政年份:
    2023
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
SHF: Small: Mechanized reasoning for functional programs
SHF:小型:函数式程序的机械化推理
  • 批准号:
    2006535
  • 财政年份:
    2020
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
SHF: Medium: Collaborative Research: The Theory and Practice of Dependent Types in Haskell
SHF:媒介:协作研究:Haskell 中依赖类型的理论与实践
  • 批准号:
    1703835
  • 财政年份:
    2017
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Continuing Grant
Collaborative Research: Expeditions in Computing: The Science of Deep Specification
合作研究:计算探索:深度规范的科学
  • 批准号:
    1521539
  • 财政年份:
    2015
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Continuing Grant
CIF: Small: Rich Type Inference for Functional Programming
CIF:小型:函数式编程的丰富类型推理
  • 批准号:
    1319880
  • 财政年份:
    2013
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
CCF-SHF Small: Beyond Algebraic Data Types: Combinatorial Species and Mathematically-Structured Programming
CCF-SHF Small:超越代数数据类型:组合种类和数学结构规划
  • 批准号:
    1218002
  • 财政年份:
    2012
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
SHF: SMALL: Dependently-typed Haskell
SHF:小:依赖类型的 Haskell
  • 批准号:
    1116620
  • 财政年份:
    2011
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
Student Travel Support for Programming Language Mentoring Workshop (PLMW 2012)
编程语言指导研讨会的学生旅行支持(PLMW 2012)
  • 批准号:
    1201858
  • 财政年份:
    2011
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
SHF:Large:Collaborative Research:TRELLYS: Community-Based Design and Implementation of a Dependently Typed Programming Language
SHF:大型:协作研究:TRELLYS:基于社区的依赖类型编程语言的设计和实现
  • 批准号:
    0910786
  • 财政年份:
    2009
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
A Practical Dependently-Typed Functional Programming Language
一种实用的依赖类型函数编程语言
  • 批准号:
    0702545
  • 财政年份:
    2007
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Continuing Grant

相似海外基金

Travel: Student Travel Support for Logic Mentoring Workshop 2023
旅行:2023 年逻辑辅导研讨会的学生旅行支持
  • 批准号:
    2313749
  • 财政年份:
    2023
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
Travel: Student Travel for the Programming Languages Mentoring Workshop (PLMW) at the International Conference on Functional Programming (ICFP)
旅行:参加国际函数式编程会议 (ICFP) 编程语言指导研讨会 (PLMW) 的学生旅行
  • 批准号:
    2328059
  • 财政年份:
    2023
  • 资助金额:
    $ 2.03万
  • 项目类别:
    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
  • 资助金额:
    $ 2.03万
  • 项目类别:
    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
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
Travel: Student Travel Grant for the Programming Languages Mentoring Workshop at PLDI 2022
旅费:PLDI 2022 编程语言指导研讨会的学生旅费补助
  • 批准号:
    2227746
  • 财政年份:
    2022
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
NSF Student Travel Grant for 2021 Programming Languages Mentoring Workshop at POPL (PLMW@POPL)
NSF 学生旅费补助金用于 2021 年 POPL 编程语言指导研讨会 (PLMW@POPL)
  • 批准号:
    2041337
  • 财政年份:
    2020
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
NSF Student Travel Grant for 2019 Algorithmic Game Theory (AGT) Mentoring Workshop Co-Located with Economics and Computation (EC)
NSF 学生旅费资助 2019 年算法博弈论 (AGT) 辅导研讨会与经济学和计算 (EC) 同期举办
  • 批准号:
    1930734
  • 财政年份:
    2019
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
NSF Student Travel Grant for the 2019 Programming Languages Mentoring Workshop (PLMW) at ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
NSF 学生旅费补助金用于 2019 年 ACM SIGPLAN 编程语言设计与实现会议上的 2019 年编程语言指导研讨会 (PLMW)
  • 批准号:
    1923092
  • 财政年份:
    2019
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard 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
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
NSF Student Travel Grant for Logic Mentoring Workshop 2019 (LMW)
2019 年逻辑指导研讨会 NSF 学生旅费补助金 (LMW)
  • 批准号:
    1926333
  • 财政年份:
    2019
  • 资助金额:
    $ 2.03万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了