课题基金 / 基金详情

STUDENT MENTORING WORKSHOP AT ICFP 2015

STUDENT MENTORING WORKSHOP AT ICFP 2015
ICFP 2015 学生辅导研讨会
批准号:
1541646
负责人:
Stephanie Weirich
金额:
$2.03万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2015
资助国家:
美国
项目状态:
已结题
起止时间:
2015-06-01 至 2016-02-29

项目摘要

项目成果

Stephanie Weirich的其他基金

相似基金

相关文献

中文摘要
翻译
标题:ICFP 2015学生指导研讨会作为第20届国际函数式编程会议(ICFP)的一部分,正在组织一个学生指导研讨会,这是编程语言领域的主要会议之一。会议将在加拿大不列颠哥伦比亚省温哥华举行。这笔助学金将支持大约15名学生参加指导研讨会和ICFP会议。这项提案专门针对女学生和来自代表性不足群体的学生,并优先考虑美国公民和永久居民。赠款的广泛意义和重要性涉及到需要扩大参与,为学生提供机会接受编程语言社区主要成员的指导,并在这一重要研究领域培养下一代研究人员和知识渊博的实践者。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: SMALL:Dependency Tracking and Dependent Types
  • 批准号:
    2327738
  • 项目类别:
    Standard Grant
  • 资助金额:
    $54.0万
  • 财政年份:
    2023
  • 负责人:
    Stephanie Weirich
  • 依托单位:
SHF: Small: Mechanized reasoning for functional programs
  • 批准号:
    2006535
  • 项目类别:
    Standard Grant
  • 资助金额:
    $45.0万
  • 财政年份:
    2020
  • 负责人:
    Stephanie Weirich
  • 依托单位:
SHF: Medium: Collaborative Research: The Theory and Practice of Dependent Types in Haskell
  • 批准号:
    1703835
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $63.87万
  • 财政年份:
    2017
  • 负责人:
    Stephanie Weirich
  • 依托单位:
Collaborative Research: Expeditions in Computing: The Science of Deep Specification
  • 批准号:
    1521539
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $335.18万
  • 财政年份:
    2015
  • 负责人:
    Stephanie Weirich
  • 依托单位:
海外基金