15th International Workshop on Unification (UNIF 2001) to be held in Europe

第15届国际统一研讨会（UNIF 2001）将在欧洲举行

• 批准号: 0108548
• 负责人: Cesare Tinelli
• 金额: $ 1.28万
• 依托单位: University of Iowa
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2001
• 资助国家: 美国
• 起止时间: 2001-06-01 至 2001-11-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0108548&HistoricalAwards=false
• 关键词: 15th; International; Workshop; Unification; UNIF

The main objective of this project is to organize UNIF 2001,the 15th International Workshop on Unification.Unification is concerned with the problem of identifying given terms, either syntactically or modulo a given logical theory. Syntactic unification is the basic operation of most automated reasoning systems, and unification modulo theories can be used,for instance, to build in special equational theories into theorem provers. UNIF 2001 will be the latest in a series of annual internationalworkshops on unification, the previous ones having been mostly in Europe (France, Germany, Italy, and Spain) and twice in the US.The aim of UNIF 2001, as that of the previous meetings, is to bring together people interested in unification, present recent (even unfinished) work, and discuss new ideas and trends in unification and related fields.In particular, it is intended to offer a good opportunity for young researchers and researchers working in related areas to get an overview of the current state of the art in unification theoryand get in contact with the experts in the field.In addition to researchers from automated reasoning and term rewriting, the traditional participants to UNIF, this year's workshop will try to attract also researchers from theoretical computer science working on unification algorithms for special theories (such as associativity) where astonishing progress has been achieved in the last two years.The workshop will also try to facilitate, with travel awards and registration fee waivers, the participation of young researchers from the United States. The intent of this is to stimulate researchon unification in this country, as well as alert US researchers working in automated reasoning and verification to recent results in this field.

该项目的主要目的是组织Unif 2001，即第15届统一国际研讨会。统一涉及识别给定术语的问题，无论是语法还是模仿给定的逻辑理论。句法统一是大多数自动推理系统的基本操作，例如，可以使用统一模型理论，例如在定理掠夺中构建特殊的方程理论。 UNIF 2001将是一系列关于统一的年度国际工程商店中的最新活动，以前的统一工厂主要是在欧洲（法国，德国，意大利，意大利和西班牙），在美国两次。在相关领域工作的研究人员概述了统一理论中艺术的现状，并与该领域的专家保持联系。除了来自自动推理和任期重写的研究人员外，传统参与者，Unif的传统参与者，今年的研讨会将尝试吸引在统一的统一算法的研究中，以实现特殊的研究（例如，在统一方面）的研究人员（例如，在统一方面都在进行协会的培训）（例如），这是一份社会培训的研究）。还将尝试通过旅行奖和注册费豁免促进美国的年轻研究人员的参与。这样做的目的是刺激该国的研究统一，并提醒我们从事自动推理和验证该领域结果的研究人员。