U.S.-Venezuela Symposium on Mathematical Logic

小行星9809924 这个美洲计划奖将资助拉丁美洲数学逻辑研讨会，将于1998年7月6日至10日在委内瑞拉梅里达举行。 组织者是Sy D博士。 弗里德曼，马萨诸塞州理工学院，（麻省理工学院）， 和卡洛斯A. Di Prisco，Instituto Venezolano de Investigaciones Scientificas（IVIC）. 会议汇集了来自美国和其他国家的一些顶级逻辑研究人员。 与会者将包括来自美国和世界其他地区广泛地理区域和大学的初级和高级研究人员。 它将为来自美国和拉丁美洲的年轻研究人员提供一个机会，让他们了解各自领域的当前研究，同时建立相互之间的关系，这可能会导致未来的研究合作。 逻辑是一个广泛的领域，它的每一个主要的子领域，理论，模型理论，递归理论和证明理论，将在讨论和演示文稿中表示。 会议之前将举办短期课程，旨在加强研究生和青年研究人员从会议中获得的益处。 ***

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