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日在乌拉圭Piriapolis举行的Twentieth Simposio Logica Matematica。 他们中的许多人将在这一领域进行有关自己的原始研究的演讲，所有人都有机会参加许多其他演讲，并了解整个美洲逻辑研究的进展。 SLAL每两到三年举行一次，是拉丁美洲逻辑前的杰出会议，在最近几十年中，该领域已被证明是该领域的生产力很高的地区。拉丁美洲的博物馆并不总是像美国相同的领域。 非古典逻辑学家尤其是在南美国家，这使得外部研究人员来到Slalm至关重要，以保持这一领域的最新进展。 相比之下，在美国，计算理论比在拉丁美洲更为重要，而参加SLALM的美国研究人员将能够详细介绍并解释该领域的最新进展。 模型理论在哥伦比亚和哥斯达黎加，尤其是在美国，而套装理论家则分散在北部和南部的美洲。 在这些领域，我们和拉丁美洲学者之间经常进行富有成果的合作，我们充满信心地期望这种Slalm会产生更多。Further信息可在https://xxslalalm.cmat.edu.uy/..uy/.further上获得。该奖项本奖通过评估范围的依据，反映了NSF的法定任务，并反映了cr Infestia crit crit and Foundical的支持者。