Support for Latin American Symposium on Mathematical Logic; Bahia Blanca, Argentina; July 1992

支持拉丁美洲数理逻辑研讨会；

• 批准号: 9123305
• 负责人: Richard Shore
• 金额: $ 2万
• 依托单位: Cornell University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1992
• 资助国家: 美国
• 起止时间: 1992-05-01 至 1993-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9123305&HistoricalAwards=false
• 关键词: Support; Latin; American; Symposium; Mathematical

This award from the Science in Developing Countries - Latin America program will support a regional research symposium on Mathematical Logic, to be held in Bahia Blanca, Argentina in July 1992. Organizers are Dr. Richard A. Shore of Cornell University and Dr. R. Cignoli of the Universidad de Buenos Aires, Argentina. The goal of the symposium is to encourage the development of logic and its connections with computer science in latin America by presenting current work and research problems as well as developing opportunities for collaborative research between U.S. and Latin American logicians. As part of the symposium, six U.S. participants will present the results of recent research. The areas that will be emphasized include set theory, algebraic, categorical and nonclassical logic and the relations of the last two to computer science. The benefits to both U.S. and Latin American participants are the development of new areas for regional research cooperation and the potential for improving the nations' scientific infrastructure.

发展中国家科学的奖项 - 拉丁美洲计划将于1992年7月在阿根廷的巴伊亚布兰卡举行的数学逻辑研究研讨会。组织者是康奈尔大学的理查德·A·肖尔博士和R. R. R.阿根廷布宜诺斯艾利斯大学的Cignoli。 研讨会的目的是通过提出当前的工作和研究问题，并为美国和拉丁美洲逻辑学家之间的合作研究提供机会，鼓励逻辑发展及其与拉丁美洲的计算机科学的联系。 作为研讨会的一部分，六名美国参与者将介绍最近的研究结果。 将要强调的领域包括集合理论，代数，分类和非经典逻辑以及最后两个与计算机科学的关系。 美国和拉丁美洲参与者的好处是开发区域研究合作的新领域以及改善各国科学基础设施的潜力。