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

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

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.