Student Travel Support for Programming Language Mentoring Workshop (PLMW 2012)

编程语言指导研讨会的学生旅行支持(PLMW 2012)

基本信息

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

项目摘要

The Programming Languages Mentoring Workshop (PLMW) will take place just before the flagship programming language conference, Principles of Programming Languages (POPL 2012). This grant will support 15 or more students to attend the PLMW event plus the POPL conference. While there is other funding available, this grant is intended specifically to increase the numbers of students from underrepresented groups and gives priority to US citizens and permanent residents. The broader impacts of the grant relate to the need to broaden participation, provide opportunities for students to receive mentoring from top members of the programming languages community, and build the next generation of researchers and knowledgeable practitioners in this important research arena.
编程语言指导研讨会(PLMW)将在旗舰编程语言会议编程语言原理(POPL 2012)之前举行。 这笔赠款将支持15名或更多的学生参加PLMW活动加上POPL会议。 虽然还有其他资金可用,但这笔赠款专门用于增加代表性不足群体的学生人数,并优先考虑美国公民和永久居民。 该补助金的更广泛影响涉及扩大参与范围的需要,为学生提供接受编程语言社区顶级成员指导的机会,并在这个重要的研究竞技场中培养下一代研究人员和知识渊博的从业者。

项目成果

期刊论文数量(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
编程达到一致性
Step-Indexed Normalization for a Language with General Recursion
具有一般递归的语言的阶跃索引规范化
  • DOI:
    10.4204/eptcs.76.4
  • 发表时间:
    2012
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Chris Casinghino;Vilhelm Sjöberg;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
  • 资助金额:
    $ 1.59万
  • 项目类别:
    Standard Grant
SHF: Small: Mechanized reasoning for functional programs
SHF:小型:函数式程序的机械化推理
  • 批准号:
    2006535
  • 财政年份:
    2020
  • 资助金额:
    $ 1.59万
  • 项目类别:
    Standard Grant
SHF: Medium: Collaborative Research: The Theory and Practice of Dependent Types in Haskell
SHF:媒介:协作研究:Haskell 中依赖类型的理论与实践
  • 批准号:
    1703835
  • 财政年份:
    2017
  • 资助金额:
    $ 1.59万
  • 项目类别:
    Continuing Grant
STUDENT MENTORING WORKSHOP AT ICFP 2015
ICFP 2015 学生辅导研讨会
  • 批准号:
    1541646
  • 财政年份:
    2015
  • 资助金额:
    $ 1.59万
  • 项目类别:
    Standard Grant
Collaborative Research: Expeditions in Computing: The Science of Deep Specification
合作研究:计算探索:深度规范的科学
  • 批准号:
    1521539
  • 财政年份:
    2015
  • 资助金额:
    $ 1.59万
  • 项目类别:
    Continuing Grant
CIF: Small: Rich Type Inference for Functional Programming
CIF:小型:函数式编程的丰富类型推理
  • 批准号:
    1319880
  • 财政年份:
    2013
  • 资助金额:
    $ 1.59万
  • 项目类别:
    Standard Grant
CCF-SHF Small: Beyond Algebraic Data Types: Combinatorial Species and Mathematically-Structured Programming
CCF-SHF Small:超越代数数据类型:组合种类和数学结构规划
  • 批准号:
    1218002
  • 财政年份:
    2012
  • 资助金额:
    $ 1.59万
  • 项目类别:
    Standard Grant
SHF: SMALL: Dependently-typed Haskell
SHF:小:依赖类型的 Haskell
  • 批准号:
    1116620
  • 财政年份:
    2011
  • 资助金额:
    $ 1.59万
  • 项目类别:
    Standard Grant
SHF:Large:Collaborative Research:TRELLYS: Community-Based Design and Implementation of a Dependently Typed Programming Language
SHF:大型:协作研究:TRELLYS:基于社区的依赖类型编程语言的设计和实现
  • 批准号:
    0910786
  • 财政年份:
    2009
  • 资助金额:
    $ 1.59万
  • 项目类别:
    Standard Grant
A Practical Dependently-Typed Functional Programming Language
一种实用的依赖类型函数编程语言
  • 批准号:
    0702545
  • 财政年份:
    2007
  • 资助金额:
    $ 1.59万
  • 项目类别:
    Continuing Grant

相似海外基金

Support of Student Travel to Attend the Joint Meetings of The Clay Minerals Society and the Asian Clay Conference
支持学生参加粘土矿物学会和亚洲粘土会议联席会议
  • 批准号:
    2421961
  • 财政年份:
    2024
  • 资助金额:
    $ 1.59万
  • 项目类别:
    Standard Grant
Travel: Student Travel Support for the 51st International Symposium on Computer Architecture (ISCA)
旅行:第 51 届计算机体系结构国际研讨会 (ISCA) 的学生旅行支持
  • 批准号:
    2409279
  • 财政年份:
    2024
  • 资助金额:
    $ 1.59万
  • 项目类别:
    Standard Grant
Travel: Student Support for the 47th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2024)
旅行:学生支持第 47 届国际 ACM SIGIR 信息检索研究与发展会议 (SIGIR 2024)
  • 批准号:
    2409649
  • 财政年份:
    2024
  • 资助金额:
    $ 1.59万
  • 项目类别:
    Standard Grant
Student Design Essay Competition "Challenges in the Design of Complex Systems"; Travel Support to ASME IDETC 2024, ASME IDETC 2025, and ASME IDETC 2026 Conferences
学生设计征文比赛“复杂系统设计中的挑战”;
  • 批准号:
    2345214
  • 财政年份:
    2024
  • 资助金额:
    $ 1.59万
  • 项目类别:
    Standard Grant
Travel: Student Travel Support for Logic Mentoring Workshops 2024
旅行:2024 年逻辑辅导研讨会的学生旅行支持
  • 批准号:
    2408942
  • 财政年份:
    2024
  • 资助金额:
    $ 1.59万
  • 项目类别:
    Standard Grant
Student Travel Support for the 50th International Conference on Very Large Databases 2024
2024 年第 50 届超大型数据库国际会议的学生旅行支持
  • 批准号:
    2422438
  • 财政年份:
    2024
  • 资助金额:
    $ 1.59万
  • 项目类别:
    Standard Grant
Travel: Student Travel Support to SOSP 2023
旅行:SOSP 2023 学生旅行支持
  • 批准号:
    2342883
  • 财政年份:
    2024
  • 资助金额:
    $ 1.59万
  • 项目类别:
    Standard Grant
NSF: STOC 2024 Conference Student Travel Support
NSF:STOC 2024 会议学生旅行支持
  • 批准号:
    2421504
  • 财政年份:
    2024
  • 资助金额:
    $ 1.59万
  • 项目类别:
    Standard Grant
Conference: Travel: III: Student Travel Support for 2024 ACM The Web Conference (TheWebConf)
会议:旅行:III:2024 年 ACM 网络会议 (TheWebConf) 的学生旅行支持
  • 批准号:
    2412369
  • 财政年份:
    2024
  • 资助金额:
    $ 1.59万
  • 项目类别:
    Standard Grant
Conference: NSF Student Travel Support for the 38th Annual AAAI Conference on Artificial Intelligence (AAAI-2024)
会议:第 38 届 AAAI 人工智能会议 (AAAI-2024) 的 NSF 学生旅行支持
  • 批准号:
    2412476
  • 财政年份:
    2024
  • 资助金额:
    $ 1.59万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了