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
• 关键词: Workshop; Application; Tree; Automata; Rewriting

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.

该奖项为10名美国计算机科学家提供了参加在德国达格斯图尔举行的树形自动机应用研讨会的旅费。研讨会的目的是汇集来自自动演绎、术语重写、计算机辅助验证和编译器构建三个不同领域的研究人员，他们一直在利用树自动机，试图在学科之间的思想交叉交流，开拓新的研究方向。