NSF Student Travel Grant for the Programming Languages Mentoring Workshop at International Conference on Functional Programming, 2019 (PLMW@ICFP)
NSF Student Travel Grant for the Programming Languages Mentoring Workshop at International Conference on Functional Programming, 2019 (PLMW@ICFP)
批准号:
1940774
负责人:
David Van Horn
金额:
$1.5万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2019
资助国家:
美国
项目状态:
已结题
起止时间:
2019-08-01 至 2021-04-30
中文摘要
该奖项旨在支持美国学生参加编程语言指导研讨会(PLMW),该研讨会是第24届ACM国际函数式编程会议(ICFP)的一部分,该会议是关于函数式编程的设计、实现、原则和使用的首要会议。该活动将于2019年8月18日至23日在德国柏林举行。该奖项专门支持来自代表性不足群体的学生,并优先考虑美国公民和永久居民参加除ICFP会议之外的指导研讨会。该奖项的影响涉及扩大计算机领域的参与,为学生提供接受顶尖研究人员指导的机会,以及培养具有编程语言一般专业知识和函数式编程专业知识的下一代研究人员和知识渊博的实践者。在此资助下参加PLMW研讨会的学生将听到该领域的杰出研究人员谈论该领域的最新趋势,并从这些演讲者和其他导师那里获得一对一的指导,以研究和追求他们的职业抱负。在这次活动中形成的联系将有助于在研究人员和学生之间建立持久的联系,从而形成计算机编程语言的新兴创新。该奖项反映了美国国家科学基金会的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
This award seeks to support U.S. student participation in the Programming Languages Mentoring Workshop (PLMW), being organized as part of the 24th ACM International Conference on Functional Programming (ICFP), the premier conference on the design, implementations, principles, and uses of functional programming. The event is in Berlin, Germany during 18-23 August 2019. This award specifically supports students from underrepresented groups and gives priority to US citizens and permanent residents to attend the mentoring workshop in addition to the ICFP conference. The impact of the award relates to broadening participation in computing, providing opportunities for students to receive mentoring from leading researchers, and building the next generation of researchers and knowledgeable practitioners with general expertise in programming languages, and specific expertise in functional programming.Students attending the PLMW workshop with support from this grant will hear eminent researchers in the field talk about the latest trends in the field, and get one-on-one mentoring from these speakers and other mentors in research and pursuing their career aspirations. The connections formed at this event will help create lasting connections between researchers and students, thereby shaping emerging innovations in computer programming languages.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
CAREER: Gradual Verification: From Scripting to Proving
-
批准号:1846350
-
项目类别:Continuing Grant
-
资助金额:$57.34万
-
财政年份:2019
-
负责人:David Van Horn
-
依托单位:
SHF: Medium: Collab Research: Synthesizing Verified Analyzers for Critical Software
-
批准号:1900563
-
项目类别:Standard Grant
-
资助金额:$59.8万
-
财政年份:2019
-
负责人:David Van Horn
-
依托单位:
Student Travel for Programming Languages Mentoring Workshop at International Conference on Functional Programming 2018 (PLMW@ICFP)
-
批准号:1841504
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2018
-
负责人:David Van Horn
-
依托单位:
SHF: Small: Collaborative Research: Online Verification-Validation
-
批准号:1618756
-
项目类别:Standard Grant
-
资助金额:$14.0万
-
财政年份:2016
-
负责人:David Van Horn
-
依托单位:
Collaborative Research: Climatic and Environmental Constraints on Aboveground-Belowground Linkages and Diversity across a Latitudinal Gradient in Antarctica
-
批准号:1341427
-
项目类别:Standard Grant
-
资助金额:$24.26万
-
财政年份:2014
-
负责人:David Van Horn
-
依托单位:
Collaborative Research: THE MCMURDO DRY VALLEYS: A landscape on the Threshold of Change
-
批准号:1245991
-
项目类别:Standard Grant
-
资助金额:$8.03万
-
财政年份:2013
-
负责人:David Van Horn
-
依托单位:
海外基金