Nineteenth Latin American Symposium on Mathematical Logic

该奖项支持美国研究人员出席2022年7月26日至30日在哥斯达黎加首都圣何塞的哥斯达黎加大学举行的第十九届拉丁美洲数理逻辑研讨会(SLALM)。小岛屿发展中国家联盟系列会议自1960年代S以来一直断断续续地举行，通常每两到四年举行一次，通常都是在拉丁美洲举行。在此期间，这些会议有助于该区域逻辑学科的发展，并鼓励北美和南美洲逻辑界之间的合作，因为来自美国和加拿大的研究人员经常参加小岛屿发展中国家和小岛屿发展中国家的会议。随着这种联系的扩大，也带来了卓有成效的交流：美国最高级别的逻辑学家包括在巴西和乌拉圭出生的研究人员，而在美国出生的逻辑学家在哥伦比亚等国获得了长期工作，还有相当多的研究人员在这两个地区之间奔波，寻求博士后职位。该奖项支持多达18名美国逻辑学家参加2022年SLALM，重点是学生和初级研究人员，并优先考虑来自数学代表性不足群体的研究人员。该奖项由符号逻辑协会管理，该协会自SLALM系列成立以来一直支持该系列。2022年SLALM包括全体讲座、四个迷你课程和五个主题会议：可计算性；模型理论；非经典逻辑；逻辑哲学(含哲学逻辑)；以及集合论。特别会议包括著名的受邀演讲者和贡献的演讲，年轻的研究人员将有机会在其中介绍他们的工作。SLALM网站：https://paginas.cimpa.ucr.ac.cr/slalm/index.php/en/ASL网站：https://aslonline.org/This奖反映了美国国家科学基金会的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

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.