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

这个由康奈尔大学数学科学研究所的Anil Nerode博士和特维尔大学的m.a. Taitslin博士合作的美俄项目的主要目标是组织一次关于计算机科学逻辑基础的会议。会议将汇集来自许多国家的理论计算机科学和相关逻辑学科的专家，希望促进逻辑和计算机的接口。//该数学项目通过使美国和俄罗斯的顶尖专家在平等、互惠和互利的基础上，在共同感兴趣和有能力的领域结合互补的努力和能力，实现了推进科学知识的计划目标

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.//