课题基金 / 基金详情

NSF Student Travel Grant for Logic Mentoring Workshop 2019 (LMW)

NSF Student Travel Grant for Logic Mentoring Workshop 2019 (LMW)
2019 年逻辑指导研讨会 NSF 学生旅费补助金 (LMW)
批准号:
1926333
负责人:
Eric Koskinen
金额:
$1.46万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2019
资助国家:
美国
项目状态:
已结题
起止时间:
2019-05-15 至 2020-04-30

项目摘要

项目成果

Eric Koskinen的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
This grant will enable students to attend the Logic Mentoring Workshop (LMW 2019) which will be co-located with the International Conference on Logic in Computer Science (LICS) to be held in July in Vancouver, British Columbia. LICS is the flagship conference in logic and semantics. LMW seeks to introduce and mentor students who have already shown interest in logic and semantics research by bringing them to LICS so they can learn about current research problems, make connections with their contemporaries, and interact with leaders in the field. Funded students will benefit greatly from the opportunity to engage in the critical technical, professional, and social exchanges that both conferences foster. The LMW workshop will focus on mentoring and career advice to enable undergraduate and graduate students, and especially women, and underrepresented minorities to pursue and thrive in research careers both in logic/semantics specifically and in computer science generally. This travel grant will enable career development and learning opportunities for US-based and/or US citizen graduate students. Attending conferences is an important component of graduate school education for our society's future computer science researchers. Students have the opportunity to discuss leading edge research with world-class researchers, and establish networks, connections, and mentoring relationships that will serve them well during their research careers.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)
会议论文
CISE-ANR: SHF: Small: Scenario-based Formal Proofs for Concurrent Software
  • 批准号:
    2315363
  • 项目类别:
    Standard Grant
  • 资助金额:
    $59.3万
  • 财政年份:
    2023
  • 负责人:
    Eric Koskinen
  • 依托单位:
Collaborative Research: SHF: Medium: Ensuring Safety and Liveness of Modern Systems through Dynamic Temporal Analysis
  • 批准号:
    2107169
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $40.0万
  • 财政年份:
    2021
  • 负责人:
    Eric Koskinen
  • 依托单位:
SHF: Small: Symbolic Commutativity Analysis for Multicore Concurrency
  • 批准号:
    2008633
  • 项目类别:
    Standard Grant
  • 资助金额:
    $49.59万
  • 财政年份:
    2020
  • 负责人:
    Eric Koskinen
  • 依托单位:
SHF: Small: Collaborative Research: Concurrent Software Verification with Rely/Guarantee Abstraction
  • 批准号:
    1813745
  • 项目类别:
    Standard Grant
  • 资助金额:
    $6.56万
  • 财政年份:
    2017
  • 负责人:
    Eric Koskinen
  • 依托单位:
海外基金