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

计算机科学逻辑 (LICS) 学生旅费资助 2016

基本信息

  • 批准号:
    1630728
  • 负责人:
  • 金额:
    $ 1.5万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2016
  • 资助国家:
    美国
  • 起止时间:
    2016-05-01 至 2017-04-30
  • 项目状态:
    已结题

项目摘要

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.
该奖项将支持学生参加2016年第31届计算机科学中的逻辑国际会议(LICS),该会议的重点是与逻辑相关的计算机科学的理论和实践主题。大会将于2016年7月5日至8日在纽约州纽约市举行。支持学生出差参加专业会议和研讨会是NSF的一项非常重要的使命。该奖项提供旅行津贴,允许有才华的博士生参加LIC,这将使他们有机会参加技术讲座,并与该领域的知名专家互动。更广泛的意义和重要性包括培养这一研究领域的下一代研究人员,以及提供国际经验来建设一支具有全球意识的劳动力队伍。组织者将优先考虑来自代表性不足群体和小型大学的学生。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Eric Koskinen其他文献

Self-assembly at nano scale by molecular Xerox
通过分子施乐进行纳米级自组装
  • DOI:
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Yoji Nanjo;Hiroshi Unno;Eric Koskinen;Tachio Terauchi;Seki Shinnosuke
  • 通讯作者:
    Seki Shinnosuke
H ow to add concurrency to smart contracts
如何为智能合约添加并发性
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Thomas D. Dickerson;Paul Gazzillo;Maurice Herlihy;Eric Koskinen
  • 通讯作者:
    Eric Koskinen
Program Verification via Predicate Constraint Satisfiability Modulo Theories
通过谓词约束可满足性模理论进行程序验证
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Hiroshi Unno;Yuki Satake;Tachio Terauchi;Eric Koskinen
  • 通讯作者:
    Eric Koskinen
Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version)
自动生成精确且有用的交换性条件(扩展版)
  • DOI:
    10.1007/978-3-319-89960-2_7
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Kshitij Bansal;Eric Koskinen;Omer Tripp
  • 通讯作者:
    Omer Tripp
Turning nondeterminism into parallelism
将不确定性转变为并行性

Eric Koskinen的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Eric Koskinen', 18)}}的其他基金

CISE-ANR: SHF: Small: Scenario-based Formal Proofs for Concurrent Software
CISE-ANR:SHF:小型:并发软件的基于场景的形式化证明
  • 批准号:
    2315363
  • 财政年份:
    2023
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Medium: Ensuring Safety and Liveness of Modern Systems through Dynamic Temporal Analysis
合作研究:SHF:Medium:通过动态时间分析确保现代系统的安全性和活力
  • 批准号:
    2107169
  • 财政年份:
    2021
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Continuing Grant
SHF: Small: Symbolic Commutativity Analysis for Multicore Concurrency
SHF:小型:多核并发的符号交换性分析
  • 批准号:
    2008633
  • 财政年份:
    2020
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
NSF Student Travel Grant for Logic Mentoring Workshop 2019 (LMW)
2019 年逻辑指导研讨会 NSF 学生旅费补助金 (LMW)
  • 批准号:
    1926333
  • 财政年份:
    2019
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
SHF: Small: Collaborative Research: Concurrent Software Verification with Rely/Guarantee Abstraction
SHF:小型:协作研究:具有依赖/保证抽象的并发软件验证
  • 批准号:
    1813745
  • 财政年份:
    2017
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Student Travel funding for 2017 Logic Mentoring Workshop (LMW) at (LICS); Reykjavik, Iceland; June, 2017
2017 年 (LICS) 逻辑指导研讨会 (LMW) 的学生旅费;
  • 批准号:
    1743546
  • 财政年份:
    2017
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
SHF: Small: Collaborative Research: Concurrent Software Verification with Rely/Guarantee Abstraction
SHF:小型:协作研究:具有依赖/保证抽象的并发软件验证
  • 批准号:
    1618542
  • 财政年份:
    2016
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Student Travel funding for Logic Mentoring Workshop (LMW) at (LICS) 2016
2016 年 (LICS) 逻辑指导研讨会 (LMW) 的学生旅费
  • 批准号:
    1643311
  • 财政年份:
    2016
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
SHF: Small: Collaborative Research:Concurrent Programming with Composable Transactional Objects
SHF:小型:协作研究:使用可组合事务对象进行并发编程
  • 批准号:
    1550879
  • 财政年份:
    2015
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
SHF: Small: Collaborative Research:Concurrent Programming with Composable Transactional Objects
SHF:小型:协作研究:使用可组合事务对象进行并发编程
  • 批准号:
    1421126
  • 财政年份:
    2014
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant

相似海外基金

Travel: Supplemental Funding Request: Collaboration Between Girl Power By Design and Managing Identities Projects
旅行:补充资金请求:Girl Power By Design 和管理身份项目之间的合作
  • 批准号:
    2331732
  • 财政年份:
    2023
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Travel Proposal: Funding to support early career scientist participation in the July 2022 Geophysics of Convergent Margins
旅行提案:资助早期职业科学家参加 2022 年 7 月的收敛边缘地球物理学会议
  • 批准号:
    2226119
  • 财政年份:
    2022
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Fast Start Funding to deliver new NetZero product: direct booking of travel to existing RouteZero website - integrating four key travel operators' / aggregators' platforms
快速启动资金用于交付新的 NetZero 产品:直接预订现有 RouteZero 网站的旅行 - 整合四个主要旅行运营商/聚合商平台
  • 批准号:
    10045885
  • 财政年份:
    2022
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Grant for R&D
International Travel Proposal: Funding to support travel and attendance at the 4th Intl. Symposium on Ranaviruses - Budapest, Hungary.
国际旅行提案:资助旅行和参加第四届国际旅行。
  • 批准号:
    1719681
  • 财政年份:
    2017
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
BPE Symposia/Travel: Funding Women Engineers to Attend the National LATTICE Symposia
BPE 研讨会/旅行:资助女性工程师参加全国 LATTICE 研讨会
  • 批准号:
    1700596
  • 财政年份:
    2017
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
QIP 2018 Student and Postdoctoral Fellow Travel Funding Support
QIP 2018 学生和博士后研究员旅行资助支持
  • 批准号:
    1745134
  • 财政年份:
    2017
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Student Travel funding for 2017 Logic Mentoring Workshop (LMW) at (LICS); Reykjavik, Iceland; June, 2017
2017 年 (LICS) 逻辑指导研讨会 (LMW) 的学生旅费;
  • 批准号:
    1743546
  • 财政年份:
    2017
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Student Travel funding for Logic Mentoring Workshop (LMW) at (LICS) 2016
2016 年 (LICS) 逻辑指导研讨会 (LMW) 的学生旅费
  • 批准号:
    1643311
  • 财政年份:
    2016
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Conference Travel Funding: Alpine Conference on Algebraic and Applied Topology
会议旅费资助:高山代数与应用拓扑会议
  • 批准号:
    1608596
  • 财政年份:
    2016
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
Funding for Student Travel to CRYPTO 2014
资助学生参加 2014 年 CRYPTO 旅行
  • 批准号:
    1441163
  • 财政年份:
    2014
  • 资助金额:
    $ 1.5万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了