Student Travel for Programming Languages Mentoring Workshop at ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, 2019 (PLMW@POPL)

2019 年 ACM SIGACT-SIGPLAN 编程语言原理研讨会学生编程语言指导研讨会 (PLMW@POPL)

• 批准号: 1841603
• 负责人: Stephan Zdancewic
• 金额: $ 1.5万
• 依托单位: Association Computing Machinery
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2018
• 资助国家: 美国
• 起止时间: 2018-11-01 至 2019-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1841603&HistoricalAwards=false
• 关键词: Student; Travel; Programming; Languages; Mentoring

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 in Lisbon, Portugal. 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.The mentoring workshop program comprises a number of talks and panels in several areas of programming language theory, such as type systems, verification, program analysis, model checking, logic and language design. The intention of these talks is to provide an introduction to the topics covered by the POPL conference and to the breadth of the programming languages research community. Additionally, the workshop will include mentoring panels that will cover practical topics about starting a research career, the job search process, and different careers that are available post-PhD. The purpose of these panels is both to provide useful advice that will benefit the participants as well as to demonstrate the day-to-day components of a research career. Speakers will be a mix of junior and senior researchers, who are leaders in their respective research areas and known for their mentorship efforts.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.

编程语言指导研讨会（PLMW）是第47届ACM SIGPLAN-SIGACT编程语言原理研讨会（POPL）的一部分，这是关于编程语言基础的首要会议。会议将在葡萄牙里斯本举行。该奖项专门支持来自代表性不足群体的学生，并优先考虑美国公民和永久居民参加除POPL会议外的指导研讨会。该奖项的影响涉及扩大计算机领域的参与，为学生提供接受顶尖研究人员指导的机会，以及在编程语言和系统的各个方面培养下一代研究人员和知识渊博的实践者。指导研讨会计划包括在编程语言理论的几个领域，如类型系统、验证、程序分析、模型检查、逻辑和语言设计的一些讲座和小组讨论。这些讲座的目的是介绍POPL会议所涵盖的主题以及编程语言研究社区的广度。此外，研讨会将包括指导小组，讨论有关开始研究生涯，求职过程以及博士后可获得的不同职业的实用主题。这些小组的目的是提供有用的建议，使参与者受益，并展示研究生涯的日常组成部分。演讲者将由初级和高级研究人员组成，他们是各自研究领域的领导者，并以其导师的努力而闻名。该奖项反映了美国国家科学基金会的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。