Travel Awards to Attend the Fifteenth Latin American Symposium on Mathematical Logic

参加第十五届拉丁美洲数理逻辑研讨会的旅行奖

基本信息

批准号：
1237389
负责人：
Charles Steinhorn
金额：
$ 3万
依托单位：
Association For Symbolic Logic
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2012
资助国家：
美国
起止时间：
2012-05-01 至 2013-04-30
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1237389&HistoricalAwards=false
关键词：
Travel Awards Attend Fifteenth Latin

Travel Awards Attend Fifteenth Latin

项目摘要

This award provides travel support to nine U.S.-based researchers and eleven Ph.D. students at U.S. universities to participate in the Fifteenth Latin American Symposium on Mathematical Logic, to be held June 4?8, 2012 at Universidad de los Andes in Bogota, Colombia, a major center of logic in Latin America. Most of those for whom funds ares ought have either very limited or no other means of travel support.The biannual Latin American Symposium on Mathematical Logic, first held in Santiago, Chile in 1970, has played a central role in the growth and vitality of mathematical logic in Latin America. While the level of research activity and the number of specialized conferences of international prestige that are held in the region continues to increase, the Latin American Symposium on Mathematical Logic remains the largest Pan-American logic meeting. The program includes areas of great current interest, and speakers include leading world experts.This event provides an important platform for extensive interaction between U.S. and Latin American researchers and students beyond already well-established research contacts. Increasing the visibility and presence of logic outside North America and Europe, particularly in Latin America and Asia, is one of the Association for Symbolic Logic?s highest long-term strategic priorities.

该奖项为九位美国研究人员和11博士学位提供了旅行支持。美国大学的学生参加了第十五个拉丁美洲数学逻辑研讨会，将于2012年6月4日在哥伦比亚波哥大的洛斯安斯大学（Universidad de Los Andes）举行，这是拉丁美洲逻辑的主要逻辑中心。大多数为Ares资金的人都应该具有非常有限或没有其他旅行支持手段。一年一度的拉丁美洲数学逻辑研讨会，1970年首次在智利圣地亚哥举行，在拉丁美洲的数学逻辑的增长和活力中起着核心作用。尽管该地区举行的研究活动水平和国际声望的专业会议的数量仍在不断提高，但拉丁美洲关于数学逻辑的研讨会仍然是最大的泛美逻辑会议。该计划包括当前感兴趣的领域，演讲者包括领先的世界专家。这项活动为美国和拉丁美洲研究人员和学生之间的广泛互动提供了一个重要的平台，而不是已经建立了良好的研究联系人。在北美和欧洲（尤其是在拉丁美洲和亚洲）以外的逻辑上增加逻辑的可见性和存在是象征性逻辑的最高长期战略优先事项之一。