The Eighteenth Latin American Symposium on Mathematical Logic

该奖项将支持美国研究人员参加2019年12月16日至20日在智利康塞普西翁大学举行的第十八届拉丁美洲数理逻辑研讨会（Simposio Latino Americano de Logica Matematica，简称SLALM）。SLALM系列是由亚伯拉罕·罗宾逊在20世纪60年代构思的，从那时起，SLALM会议断断续续地举行，通常每两到四年一次，总是在拉丁美洲举行。这些会议在那段时间里对该地区逻辑学科的发展起到了重要作用，也鼓励了北美和南美逻辑社区之间的合作，因为来自美国和加拿大的研究人员经常参加SLALM。随着这种联系的扩大，交流也取得了丰硕的成果：如今，美国最顶尖的逻辑学家中包括出生在巴西和乌拉圭的研究人员，而在美国出生的逻辑学家则在哥伦比亚等国家找到了长期工作，而且还有相当数量的研究人员在两国之间旅行，以获得博士后职位。这个特殊的NSF奖项将支持8到10名美国逻辑学家参加2019年的SLALM，重点是学生和初级研究人员，并优先考虑来自数学领域代表性不足的群体的研究人员。该奖项将由符号逻辑协会管理，该协会从一开始就支持SLALM系列，最近将SLALM作为正式的ASL会议，为其提供资金支持，以邀请杰出的演讲者，以表彰逻辑在拉丁美洲的发展。2019年SLALM将包括8场全体会议、4门迷你课程和4场特别会议：可计算性和计算机科学；模型理论;哲学与非经典逻辑；集合论。特别会议包括著名的受邀演讲者，也有年轻的研究人员将有机会展示他们的工作。SLALM网站：http://slalmxviii.udec.clThis该奖项反映了美国国家科学基金会的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

This award will support the participation of U.S.-based researchers at the Eighteenth Latin American Symposium on Mathematical Logic (the Simposio Latino Americano de Logica Matematica, or SLALM) at the Universidad de Concepcion in Chile on December 16-20, 2019. The SLALM series was conceived by Abraham Robinson in the 1960's, and SLALM meetings have been held intermittently since then, 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 also in encouraging cooperation between the logic communities in North and South America, as researchers from the U.S. 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. these days 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 particular NSF award will support the attendance of eight to ten US-based logicians at the 2019 SLALM, with an emphasis on students and junior researchers, and with preference for researchers from groups underrepresented in mathematics. The award will be administered by the Association for Symbolic Logic, which has supported the SLALM series since its inception and which recently made the SLALM an official ASL meeting, providing financial support for it to invite prominent speakers, in recognition of the growth of logic in Latin America. The 2019 SLALM will include eight plenary talks, four mini-courses, and four special sessions: computability and computer science; model theory; philosophy and non-classical logics; and set theory. The special sessions include prominent invited speakers and also contributed talks in which younger researchers will have the opportunity to present their work. SLALM website: http://slalmxviii.udec.clThis 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.