U.S.-Venezuela Symposium on Mathematical Logic

9809924弗里德曼这一美洲计划奖将资助将于1998年7月6-10日在委内瑞拉梅里达举行的拉丁美洲数理逻辑研讨会。组织者是麻省理工学院(MIT)的Sy D.Friedman博士和威尼佐拉诺公民调查研究所(Ivic)的Carlos A.Di Prisco博士。这次会议汇集了来自美国和其他国家的一些顶尖逻辑研究人员。参与者将包括来自美国和世界其他地区广泛地理区域和大学的不同级别的初级和高级研究人员。它将为来自美国和拉丁美洲的年轻研究人员提供一个获得各自领域当前研究知识的机会，同时相互建立关系，可能导致未来的研究合作。逻辑是一个宽泛的领域，它的每个主要子领域，理论、模型理论、递归理论和证明理论，都将在讨论和陈述中得到体现。在会议之前，将举办一些短期课程，旨在提高研究生和青年研究人员将从会议中获得的好处。***

9809924 Friedman This Americas Program award will fund a Latin American Symposium on Mathematical logic, to be held in Merida, Venezuela, July 6-10, 1998. Organizers are Dr. Sy D. Friedman, Massachusetts Institute of Technology, (M.I.T.), and Dr. Carlos A. Di Prisco, Instituto Venezolano de Investigaciones Cientificas (IVIC). The meeting brings together some of the top researchers in logic from the United States and other countries. Participants will include a diverse group of junior and senior researchers from a wide range of geographical areas and universities within the United States and the rest of the world. It will provide an opportunity for young researchers from US and Latin America to gain knowledge of current research in their field, and at the same time, forge relationships with each other that may lead to future research collaborations.. Logic is a broad field, and each of its principal subfields, Theory, Model Theory, Recursion Theory, and Proof Theory, will be represented in the discussions and presentations. The meeting will be preceded by short courses aimed at enhancing the benefits that the graduate students and young researchers will derive from the meeting. ***