U.S.-FSU Seminar on Logic (Tver University, Russia: July 20-24, 1992)

这一美俄项目的主要目标是， 数学科学研究所的Anil Nerode博士 康奈尔大学和M。A.特维尔的泰兹林 大学是一个会议的组织， 计算机科学的逻辑基础。 会议 将汇集理论计算机专家 科学和相关的逻辑学科从许多 国家希望刺激的接口， 逻辑与计算机 本项目是数学实践程序 促进科学知识的目标， 美国和俄罗斯的顶尖专家将联合收割机 在强有力领域的互补努力和能力 在平等的基础上相互关心和竞争， 互惠互利，互惠互利。

The primary objective of this US-Russia project between Dr. Anil Nerode of the Mathematical Sciences Institute at Cornell University and Dr. M. A. Taitslin of Tver University is the organization of a conference on the logical foundations of computer science. The conference will bring together specialists in theoretical computer science and related logical disciplines from many countries with the hope of stimulating the interface of logic and computer. This project is mathematics fulfills the program objectives of advancing scientific knowledge by enabling leading experts in the US and Russia to combine complementary efforts and capabilities in areas of strong mutual interest and competence on the basis of equality, reciprocity, and mutuality of benefit.//