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其他文献

RepLib: a library for derivable type classes
RepLib:可派生类型类的库
Combining proofs and programs in a dependently typed language
用依赖类型语言组合证明和程序
Dependently typed programming with singletons
使用单例进行依赖类型编程
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
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
  • 资助金额:
    $ 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

相似国自然基金

非对称旅行商相关问题的近似算法研究
  • 批准号:
    12301414
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
打张白条去旅行:消费者旅游分期决策的影响机制研究
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
基于凸优化近似模型的交会旅行商问题解空间分析方法
  • 批准号:
    12202504
  • 批准年份:
    2022
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
灵长类动物内侧颞叶心理旅行构建过程的神经元机制
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    54 万元
  • 项目类别:
    面上项目
面向大规模复杂任务的多约束着色旅行商问题建模和智能优化算法研究
  • 批准号:
    62203108
  • 批准年份:
    2022
  • 资助金额:
    20 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

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
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了