课题基金 / 基金详情

Amir Pnueli Memorial Symposium

Amir Pnueli Memorial Symposium
阿米尔·普努埃利纪念研讨会
批准号：
1034814
负责人：
Clark Barrett
金额：
$3.35万
依托单位：
New York University
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2010
资助国家：
美国
项目状态：
已结题
起止时间：
2010-07-01 至 2011-06-30
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1034814&HistoricalAwards=false
关键词：
AmirPnueliMemorialSymposium

项目摘要

项目成果

Clark Barrett的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
This award supports the Amir Pnueli Memorial Symposium, held May 8-9, 2010 at New York University. The symposium brings together scientists from around the world in a retrospective and prospective on the use of logics, particularly temporal logic, in computer science. Amir Pnueli received the Turing Award for his seminal work in temporal logics and computer science. The symposium provides a singular opportunity for faculty, students, and industrial researchers to hear from researchers who are shaping the future of their fields. It is open to all who wish to attend, and video recordings of the talks are made available online for those who are unable to attend in person.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
POSE: Phase II: An Open-Source Ecosystem for the cvc5 SMT Solver
  • 批准号：
    2303489
  • 项目类别：
    Standard Grant
  • 资助金额：
    $150.0万
  • 财政年份：
    2023
  • 负责人：
    Clark Barrett
  • 依托单位：
    Stanford University
NSF-BSF: SHF: Small: Neural Network Verification: Abstraction, Compositional Verification and Standardization
  • 批准号：
    2211505
  • 项目类别：
    Standard Grant
  • 资助金额：
    $50.0万
  • 财政年份：
    2022
  • 负责人：
    Clark Barrett
  • 依托单位：
    Stanford University
NSF-BSF: SHF: Small: Efficient, Automatic, and Trustworthy Smart Contract Verification
  • 批准号：
    2110397
  • 项目类别：
    Standard Grant
  • 资助金额：
    $49.28万
  • 财政年份：
    2021
  • 负责人：
    Clark Barrett
  • 依托单位：
    Stanford University
Collaborative Research: SHF: Small: Integrating Synthesis and Optimization in Satisfiability Modulo Theories
  • 批准号：
    2006407
  • 项目类别：
    Standard Grant
  • 资助金额：
    $25.0万
  • 财政年份：
    2020
  • 负责人：
    Clark Barrett
  • 依托单位：
    Stanford University