课题基金 / 基金详情

Travel: NSF Student Travel Grant for the Programming Languages Mentoring Workshop at ACM SIGPLAN Symposium on Principles of Programming Languages, 2024-2026

Travel: NSF Student Travel Grant for the Programming Languages Mentoring Workshop at ACM SIGPLAN Symposium on Principles of Programming Languages, 2024-2026
旅行:2024-2026 年 ACM SIGPLAN 编程语言原理研讨会编程语言指导研讨会的 NSF 学生旅行补助金
批准号:
2334703
负责人:
Leonidas Lampropoulos
金额:
$4.5万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2023
资助国家:
美国
项目状态:
未结题
起止时间:
2023-10-01 至 2026-09-30

项目摘要

项目成果

Leonidas Lampropoulos的其他基金

相似基金

相关文献

中文摘要
翻译
编程语言指导研讨会(PLMW)是计算机械协会(ACM)编程语言特别兴趣小组(SIGPLAN)编程语言原理研讨会(POPL)的一部分,该研讨会是编程语言理论领域的旗舰会议,也是所有计算机科学的主要会议之一。大会将于2024年在英国伦敦举行。该奖项支持学生参加POPL会议以外的辅导研讨会,旨在扩大代表不足群体的学生的参与,优先考虑美国公民和永久居民。该奖项的影响涉及扩大对计算的参与,为学生提供接受领先研究人员指导的机会,并在编程语言和系统的所有方面培养下一代研究人员和知识丰富的实践者。该奖项反映了NSF的法定使命,并通过使用基金会的智力优势和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
A Programming Languages Mentoring Workshop (PLMW) is organized as part of the Association for Computing Machinery (ACM) Special Interest Group on Programming Languages (SIGPLAN) Symposium on Principles of Programming Languages (POPL), which is the flagship conference in the field of programming language theory and one of the premier conferences in all of computer science. The conference is held in London, U.K., in 2024. This award supports students to attend the mentoring workshop in addition to the POPL conference and aims to broaden participation by students from underrepresented groups, giving priority to US citizens and permanent residents. 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)
会议论文
CAREER: Fuzzing Formal Specifications
  • 批准号:
    2145649
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $58.24万
  • 财政年份:
    2022
  • 负责人:
    Leonidas Lampropoulos
  • 依托单位:
Collaborative Research: SHF: Medium: Efficient and Trustworthy Proof Engineering
  • 批准号:
    2107206
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $54.0万
  • 财政年份:
    2021
  • 负责人:
    Leonidas Lampropoulos
  • 依托单位:
Collaborative Research: SHF: Medium: Bringing Python Up to Speed
  • 批准号:
    1955610
  • 项目类别:
    Standard Grant
  • 资助金额:
    $37.44万
  • 财政年份:
    2020
  • 负责人:
    Leonidas Lampropoulos
  • 依托单位:
国内基金
海外基金
SYNJ1蛋白片段通过促进突触蛋白NSF聚集在帕金森病发生中的机制研究
  • 批准号:
    --
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    30万元
  • 批准年份:
    2022
  • 负责人:
    邹利
  • 依托单位:
NSF蛋白亚硝基化修饰所介导的GluA2 containing-AMPA受体膜稳定性在卒中后抑郁中的作用及机制研究
  • 批准号:
    82071300
  • 项目类别:
    面上项目
  • 资助金额:
    55.0万元
  • 批准年份:
    2020
  • 负责人:
    方琪
  • 依托单位:
参加中美(NSFC-NSF)生物多样性项目评审会
  • 批准号:
    --
  • 项目类别:
    国际(地区)合作与交流项目
  • 资助金额:
    2万元
  • 批准年份:
    2019
  • 负责人:
    贺金生
  • 依托单位:
参加中美(NSFC-NSF)生物多样性项目评审会
  • 批准号:
    31981220281
  • 项目类别:
    国际(地区)合作与交流项目
  • 资助金额:
    2.3万元
  • 批准年份:
    2019
  • 负责人:
    张全发
  • 依托单位: