Student Travel for Programming Languages Mentoring Workshop at ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 2020 (PLMW@POPL)
Student Travel for Programming Languages Mentoring Workshop at ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 2020 (PLMW@POPL)
批准号:
1940734
负责人:
Justin Hsu
金额:
$1.98万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2019
资助国家:
美国
项目状态:
已结题
起止时间:
2019-10-01 至 2020-06-30
中文摘要
编程语言指导研讨会(PLMW)是第47届ACM SIGPLAN-SIGACT编程语言原理研讨会(POPL)的一部分,这是关于编程语言基础的首要会议。会议将于2020年1月19日至25日在路易斯安那州新奥尔良举行。该奖项专门支持来自代表性不足群体的学生,并优先考虑美国公民和永久居民参加除POPL会议外的指导研讨会。该奖项的影响涉及扩大计算机领域的参与,为学生提供接受顶尖研究人员指导的机会,以及在编程语言和系统的各个方面培养下一代研究人员和知识渊博的实践者。该奖项反映了美国国家科学基金会的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
A Programming Languages Mentoring Workshop (PLMW) is being organized as part of the 47th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), the premier conference on the foundations of programming languages. The conference will be held during Jan 19-25, 2020, in New Orleans, Louisiana. 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 POPL 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 in all aspects of programming languages and systems.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)
会议论文
FMitF: Track I: Formal Verification for Mechanism Design
-
批准号:2319186
-
项目类别:Standard Grant
-
资助金额:$60.0万
-
财政年份:2023
-
负责人:Justin Hsu
-
依托单位:
CAREER: SHF: Compositional Analysis of Randomized Algorithms
-
批准号:2153916
-
项目类别:Continuing Grant
-
资助金额:$70.31万
-
财政年份:2022
-
负责人:Justin Hsu
-
依托单位:
SaTC: CORE: Medium: SPIPS: Security and Privacy in Programmable Switches
-
批准号:2152831
-
项目类别:Standard Grant
-
资助金额:$120.0万
-
财政年份:2021
-
负责人:Justin Hsu
-
依托单位:
CAREER: SHF: Compositional Analysis of Randomized Algorithms
-
批准号:1943130
-
项目类别:Continuing Grant
-
资助金额:$70.31万
-
财政年份:2020
-
负责人:Justin Hsu
-
依托单位:
SaTC: CORE: Medium: SPIPS: Security and Privacy in Programmable Switches
-
批准号:2023222
-
项目类别:Standard Grant
-
资助金额:$120.0万
-
财政年份:2020
-
负责人:Justin Hsu
-
依托单位:
海外基金