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.

该奖项支持美国的研究人员参加2022年7月26日至30日在哥斯达黎加首都圣何塞的哥斯达黎加大学举行的第19届拉丁美洲数理逻辑研讨会（Simposio Latino Americano de Lógica Matemática，或SLALM）。自1960年代以来，拉美大会系列会议断断续续地举行，通常每两至四年举行一次，总是在拉丁美洲举行。在此期间，这些会议对该地区逻辑学科的发展起到了重要作用，并鼓励了南北美洲逻辑社区之间的合作，因为来自美国和加拿大的研究人员经常参加SLALM。随着这种联系的扩大，交流也取得了丰硕的成果：美国最顶尖的逻辑学家中有出生在巴西和乌拉圭的研究人员，而在美国出生的逻辑学家则在哥伦比亚等国家找到了长期工作，而且还有相当数量的研究人员在这些地区之间旅行以获得博士后职位。该奖项支持多达18名美国逻辑学家参加2022年的SLALM，重点是学生和初级研究人员，并优先考虑来自数学领域代表性不足的群体的研究人员。该奖项由符号逻辑协会管理，该协会从一开始就支持SLALM系列。2022年SLALM包括全体会议、四门迷你课程和五场专题会议：可计算性；模型理论;非经典的逻辑;逻辑哲学（用哲学逻辑）；集合论。特别会议包括著名的受邀演讲者和专题演讲，年轻的研究人员将有机会展示他们的工作。SLALM网站：https://paginas.cimpa.ucr.ac.cr/slalm/index.php/en/ASL网站：https://aslonline.org/This该奖项反映了美国国家科学基金会的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，认为值得支持。