Nineteenth Latin American Symposium on Mathematical Logic

第十九届拉丁美洲数理逻辑研讨会

• 批准号: 2212620
• 负责人: Russell Miller
• 金额: $ 2.7万
• 依托单位: Association For Symbolic Logic
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2022
• 资助国家: 美国
• 起止时间: 2022-04-15 至 2024-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2212620&HistoricalAwards=false
• 关键词: Nineteenth; Latin; American; Symposium; Mathematical

This award supports the attendance of US-based researchers at the Nineteenth Latin American Symposium on Mathematical Logic (the Simposio Latino Americano de Lógica Matemática, or SLALM) at the Universidad de Costa Rica in San Jose, the capital of Costa Rica, on July 26-30, 2022. The SLALM series meetings have been held intermittently since the 1960's, usually every two to four years, always in Latin America. These meetings have been instrumental in the growth of the discipline of logic in the region during that time and in encouraging cooperation between the logic communities in North and South America, as researchers from the US and Canada frequently attend the SLALM. With the expansion of this contact has come fruitful exchange: the very top ranks of logicians in the U.S. include researchers born in Brazil and Uruguay, while U.S.-born logicians have taken permanent jobs in countries such as Colombia, and a substantial further number of researchers have traveled between the regions for postdoctoral positions. This award supports the participation of as many as eighteen US-based logicians at the 2022 SLALM, with an emphasis on students and junior researchers, and with preference for researchers from groups underrepresented in mathematics. The award is administered by the Association for Symbolic Logic, which has supported the SLALM series since its inception. The 2022 SLALM includes plenary talks, four mini-courses, and five thematic sessions: computability; model theory; non-classical logics; philosophy of logic (with philosophical logic); and set theory. The special sessions include prominent invited speakers and contributed talks in which younger researchers will have the opportunity to present their work.SLALM website: https://paginas.cimpa.ucr.ac.cr/slalm/index.php/en/ASL website: https://aslonline.org/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.

该奖项支持美国研究人员参加 7 月 26 日在哥斯达黎加首都圣何塞哥斯达黎加大学举行的第十九届拉丁美洲数理逻辑研讨会（Simposio Latino Americano de Lógica Matemática，简称 SLALM） 2022年-30日。SLALM系列会议从1960年代开始就断断续续地举行一次，通常每两到四年举行一次，总是这些会议对于该地区逻辑学科的发展以及鼓励北美和南美逻辑界之间的合作发挥了重要作用，因为来自美国和加拿大的研究人员经常参加 SLALM。这种联系的扩大带来了富有成效的交流：美国最顶尖的逻辑学家包括出生在巴西和乌拉圭的研究人员，而美国出生的逻辑学家在哥伦比亚等国家找到了长期工作，还有大量的研究人员往返于各地区之间该奖项支持多达 18 名美国逻辑学家参加 2022 年 SLALM，重点关注学生和初级研究人员，并优先考虑来自数学领域代表性不足的群体的研究人员。符号逻辑，自 SLALM 系列推出以来一直提供支持 2022 年 SLALM 包括全体演讲、四个迷你课程和五个主题会议：可计算性；逻辑学；逻辑哲学（哲学逻辑）；和集合论。特别会议包括著名的受邀演讲者和年轻研究人员将有机会展示他们的工作。 .ac.cr/slalm/index.php/en/ASL 网站：https://aslonline.org/ 该奖项反映了 NSF 的法定使命，并通过使用基金会的智力优点和更广泛的影响审查标准进行评估，被认为值得支持。