The Eighteenth Latin American Symposium on Mathematical Logic

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

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

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.

该奖项将支持美国的研究人员参加第十八届拉丁美洲数学逻辑研讨会（Simposio Latino Americano de Logica de Logica de Logica Matematica或Slalm）在2019年12月16日至20日在智利大学的Concepcion大学的参与。随后，Abraham Robinson在1960年的Abraham Robinson中构思了Slalm Robinsing，这是Slalm Robins的所有阶段，并在1960年的彼此之间进行了介绍。四年，总是在拉丁美洲。 这些会议在此期间在该地区的逻辑学科的发展中发挥了作用，也有助于鼓励北美和南美逻辑社区之间的合作，因为来自美国和加拿大的研究人员经常参加SLALM。 随着这种接触的扩大，美国的逻辑学家如今最高的交流包括在巴西和乌拉圭出生的研究人员，而美国出生的逻辑学家在哥伦比亚等国家从事了永久性的工作，还有大量研究人员在该地区之间旅行了博士后职位。 这项特殊的NSF奖将支持2019年SLALM的八到十位美国逻辑学家的出席，重点是学生和初级研究人员，并偏爱来自数学中代表性不足的团体的研究人员。 该奖项将由符号逻辑协会管理，该协会自成立以来就支持SLALM系列赛，最近使Slalm成为正式的ASL会议，为其提供财政支持，以邀请著名的发言人，以表彰其在拉丁美洲的逻辑增长。 2019年的SLAL将包括八次全体会谈，四个迷你演讲和四个特殊会议：可计算性和计算机科学；模型理论；哲学和非古典逻辑；并设定理论。 特别会议包括著名的邀请演讲者，还进行了演讲，其中年轻的研究人员将有机会展示他们的作品。 SLALM网站：http：//slalmxviii.udec.clthis Award反映了NSF的法定任务，并被认为是值得通过基金会的知识分子优点和更广泛影响的评估标准通过评估来支持的。