Conference: Travel Awards to Attend the Twentieth Latin American Symposium on Mathematical Logic

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

• 批准号: 2414907
• 负责人: Russell Miller
• 金额: $ 4万
• 依托单位: Association For Symbolic Logic
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2024
• 资助国家: 美国
• 起止时间: 2024-06-01 至 2025-05-31
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2414907&HistoricalAwards=false
• 关键词: Conference; Travel; Awards; Attend; Twentieth

This award supports up to sixteen US-based researchers in mathematical logic to attend the Twentieth Simposio Latino Americano de Logica Matematica, which will take place in Piriapolis, Uruguay, on July 1-5, 2024. These logicians, all based at universities in the USA, will include doctoral students, early-career researchers, and senior scholars in the discipline of logic. Many of them will give presentations about their own original research in this area, and all will have the opportunity to attend many other talks and to learn what progress is being made in research in logic across the Americas. The SLALM, which is held every two to three years, is the pre-eminent conference in logic in Latin America, which has proven over recent decades to be a region of great productivity in this field.Logic in Latin America does not always focus on the same areas as it does in the US. There is a heavy concentration of non-classical logicians, especially in South American nations, making it important for external researchers to come to the SLALM in order to keep current on progress in this area. In contrast, computability theory is much more prominent in the US than in Latin America, and US-based researchers who attend the SLALM will be able to detail and explain recent advances in this area. Model theory is well represented in Colombia and Costa Rica in particular, as well as in the US, while set theorists are scattered all over the Americas, both North and South. There have often been fruitful collaborations between US and Latin American scholars in these fields, and we confidently expect this SLALM to produce many more.Further information is available at https://xxslalm.cmat.edu.uy/.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

该奖项支持多达16名美国数理逻辑研究人员参加将于2024年7月1日至5日在乌拉圭皮里阿波利斯举行的Twentieth Simposio Latino Americano de Logica Matematica。 这些逻辑学家都在美国的大学，将包括博士生，早期职业研究人员和逻辑学科的高级学者。 他们中的许多人将介绍自己在这一领域的原创研究，所有人都将有机会参加许多其他讲座，并了解美洲逻辑研究的进展情况。 每两到三年举行一次的SLALM是拉丁美洲逻辑学领域的杰出会议，近几十年来，拉丁美洲已被证明是该领域的一个高产地区。拉丁美洲的逻辑学并不总是像美国那样关注相同的领域。 有一个非经典逻辑学家的高度集中，特别是在南美国家，使外部研究人员来到SLALM，以保持在这一领域的进展是很重要的。 相比之下，可计算性理论在美国比在拉丁美洲更为突出，参加SLALM的美国研究人员将能够详细说明和解释这一领域的最新进展。 模型理论在哥伦比亚和哥斯达黎加尤其有代表性，在美国也是如此，而集合理论家则分散在南北美洲。 美国和拉丁美洲学者在这些领域经常有富有成效的合作，我们相信这个SLALM会产生更多的成果。更多信息可在https://xxslalm.cmat.edu.uy/.This奖项反映了NSF的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。