课题基金 / 基金详情

Workshop on Application of Tree Automata in Rewriting, Logic and Programming in Frankfurt, Germany, October 20-24, 1997

Workshop on Application of Tree Automata in Rewriting, Logic and Programming in Frankfurt, Germany, October 20-24, 1997
树自动机在重写、逻辑和编程中的应用研讨会，德国法兰克福，1997 年 10 月 20-24 日
批准号：
9711212
负责人：
Moshe Vardi
金额：
$0.9万
依托单位：
William Marsh Rice University
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1997
资助国家：
美国
项目状态：
已结题
起止时间：
1997-09-01 至 1998-08-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9711212&HistoricalAwards=false
关键词：
WorkshopApplicationTreeAutomataRewriting

项目摘要

项目成果

Moshe Vardi的其他基金

相似基金

相关文献

中文摘要
翻译
该奖项为10名美国计算机科学家提供旅行，以参加在德国Dagstuhl举行的树自动机应用研讨会。 该研讨会的目的是汇集来自三个不同社区的研究人员-自动演绎，术语重写，计算机辅助验证和编译器构造谁一直使用树自动机，试图在学科之间的思想交叉施肥和锻造新的研究方向。
英文摘要
This award provides travel for 10 U.S. computer scientists to attend a workshop on the applications of tree automata held in Dagstuhl, Germany. The purpose of the workshop is to bring together researchers from three different communities-automated deduction, term-rewriting, computer- aided verification and compiler construction who have been utilizing tree automata, in an attempt at cross fertilization of ideas among the disciplines and forging new research directions.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Conference: CISE: CCF: SHF: Support for the 2022 Federated Logic Conference
  • 批准号：
    2223546
  • 项目类别：
    Standard Grant
  • 资助金额：
    $5.0万
  • 财政年份：
    2022
  • 负责人：
    Moshe Vardi
  • 依托单位：
    William Marsh Rice University
CCRI: Medium: Collaborative Research: Open-Source, State-of-the-Art Symbolic Model-Checking Framework
  • 批准号：
    2016656
  • 项目类别：
    Standard Grant
  • 资助金额：
    $25.66万
  • 财政年份：
    2020
  • 负责人：
    Moshe Vardi
  • 依托单位：
    William Marsh Rice University
Student Support for the 2018 Federated Logic Conference
  • 批准号：
    1824944
  • 项目类别：
    Standard Grant
  • 资助金额：
    $3.5万
  • 财政年份：
    2018
  • 负责人：
    Moshe Vardi
  • 依托单位：
    William Marsh Rice University
SHF: Medium: Collaborative Research: Formal Analysis and Synthesis of Multiagent Systems with Incentives
  • 批准号：
    1704883
  • 项目类别：
    Standard Grant
  • 资助金额：
    $80.0万
  • 财政年份：
    2017
  • 负责人：
    Moshe Vardi
  • 依托单位：
    William Marsh Rice University
国内基金
海外基金
Graphon mean field games with partial observation and application to failure detection in distributed systems
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2025
  • 负责人：
    MATHIEULOUROCHLAURIERE
  • 依托单位：
    上海纽约大学