Mid-Atlantic Mathematical Logic Seminar

该奖项支持参加中大西洋数理逻辑研讨会(MAMLS)、新英格兰递归和定义能力研讨会(NERDS)和东北模型理论日(NEMTD)会议系列。这些会议将在不同的地点举行，涵盖现代数理逻辑的广泛领域，特别强调复杂性理论、理论计算机科学、算术碎片、纯模型理论和应用模型理论、证明论、可计算性理论、集合论、分析子系统和拓扑论。组织者预计每年举行两次书呆子和NEMTD会议，每年秋天举行MAMLS年度会议。在这笔赠款的赞助下举行的第一次会议将是2018年10月在马萨诸塞州韦尔斯利的韦尔斯利学院举行的新英格兰递归和定义研讨会。该系列会议促进现代数理逻辑及其在其他数学领域和其他领域的应用。受邀的演讲为讨论该领域的最新发展提供了机会，而演讲环节为研究生和青年研究人员提供了介绍他们自己的工作的机会，从而有助于他们的培训和专业发展。参加会议的财政支持将优先给予研究生、博士后、女性和少数族裔，以及可能无法参加会议的初级教职员工。这一奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

This award supports participation in the Mid-Atlantic Mathematical Logic Seminar (MAMLS), New England Recursion and Definability Seminar (NERDS), and Northeast Model Theory Days (NEMTD) conference series. These meetings will be held at various locations and cover a broad spectrum of modern mathematical logic, with particular emphasis on complexity theory, theoretical computer science, fragments of arithmetic, pure and applied model theory, proof theory, computability theory, set theory, subsystems of analysis, and topos theory. The organizers anticipate holding NERDS and NEMTD meetings twice each year, and the annual MAMLS meeting every autumn. The first meeting held under the auspices of this grant will be the New England Recursion and Definability Seminar, in October 2018 at Wellesley College in Wellesley, Massachusetts.The conference series promotes modern mathematical logic and its applications to other areas of mathematics and beyond. The invited presentations provide opportunities for the discussion of the latest developments in the field, and the contributed talk sessions give graduate students and young researchers opportunities to present their own work, thereby contributing to their training and professional development. Financial support to attend the conference will preferentially be given to graduate students, postdocs, women, and minorities, as well as to junior faculty who may not otherwise be able to attend the conference.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.