课题基金 / 基金详情

Student Travel Funding for Logic in Computer Science (LICS) 2016

Student Travel Funding for Logic in Computer Science (LICS) 2016
计算机科学逻辑 (LICS) 学生旅费资助 2016
批准号:
1630728
负责人:
Eric Koskinen
金额:
$1.5万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2016
资助国家:
美国
项目状态:
已结题
起止时间:
2016-05-01 至 2017-04-30

项目摘要

项目成果

Eric Koskinen的其他基金

相似基金

相关文献

中文摘要
翻译
该奖项将支持学生参加2016年第31届计算机科学中的逻辑国际会议(LICS),该会议的重点是与逻辑相关的计算机科学的理论和实践主题。大会将于2016年7月5日至8日在纽约州纽约市举行。支持学生出差参加专业会议和研讨会是NSF的一项非常重要的使命。该奖项提供旅行津贴,允许有才华的博士生参加LIC,这将使他们有机会参加技术讲座,并与该领域的知名专家互动。更广泛的意义和重要性包括培养这一研究领域的下一代研究人员,以及提供国际经验来建设一支具有全球意识的劳动力队伍。组织者将优先考虑来自代表性不足群体和小型大学的学生。
英文摘要
This award will support student travel to the 2016 31st International Conference on Logic in Computer Science (LICS) which focuses on theoretical and practical topics in computer science that relate to logic. The conference will be held in New York City, New York on July 5-8th 2016. Supporting student travel to attend professional conferences and workshops is a very important mission of the NSF. This award provides travel grants that will allow highly talented PhD students to attend LICS, which will give them the opportunity to attend technical talks, and interact with established experts in the field. The broader significance and importance includes fostering the next generation of researchers in this research area, as well as providing international experiences to build a globally-aware workforce. The organizers will give priority to students from under-represented groups and from small universities.
期刊论文(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
  • 依托单位:
NSF Student Travel Grant for Logic Mentoring Workshop 2019 (LMW)
  • 批准号:
    1926333
  • 项目类别:
    Standard Grant
  • 资助金额:
    $1.46万
  • 财政年份:
    2019
  • 负责人:
    Eric Koskinen
  • 依托单位:
海外基金