STUDENT MENTORING WORKSHOP AT ICFP 2015
STUDENT MENTORING WORKSHOP AT ICFP 2015
批准号:
1541646
负责人:
Stephanie Weirich
金额:
$2.03万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2015
资助国家:
美国
项目状态:
已结题
起止时间:
2015-06-01 至 2016-02-29
中文摘要
标题: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
-
依托单位:
CIF: Small: Rich Type Inference for Functional Programming
-
批准号:1319880
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2013
-
负责人:Stephanie Weirich
-
依托单位:
CCF-SHF Small: Beyond Algebraic Data Types: Combinatorial Species and Mathematically-Structured Programming
-
批准号:1218002
-
项目类别:Standard Grant
-
资助金额:$32.58万
-
财政年份:2012
-
负责人:Stephanie Weirich
-
依托单位:
SHF: SMALL: Dependently-typed Haskell
-
批准号:1116620
-
项目类别:Standard Grant
-
资助金额:$49.68万
-
财政年份:2011
-
负责人:Stephanie Weirich
-
依托单位:
Student Travel Support for Programming Language Mentoring Workshop (PLMW 2012)
-
批准号:1201858
-
项目类别:Standard Grant
-
资助金额:$1.59万
-
财政年份:2011
-
负责人:Stephanie Weirich
-
依托单位:
SHF:Large:Collaborative Research:TRELLYS: Community-Based Design and Implementation of a Dependently Typed Programming Language
-
批准号:0910786
-
项目类别:Standard Grant
-
资助金额:$71.0万
-
财政年份:2009
-
负责人:Stephanie Weirich
-
依托单位:
A Practical Dependently-Typed Functional Programming Language
-
批准号:0702545
-
项目类别:Continuing Grant
-
资助金额:$20.0万
-
财政年份:2007
-
负责人:Stephanie Weirich
-
依托单位:
CRI: Machine Assistance for Programming Language Research
-
批准号:0551589
-
项目类别:Continuing Grant
-
资助金额:$20.0万
-
财政年份:2006
-
负责人:Stephanie Weirich
-
依托单位:
CAREER: Type-Directed Programming in Object-Oriented Languages
-
批准号:0347289
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2003
-
负责人:Stephanie Weirich
-
依托单位:
海外基金