Mid-Atlantic Mathematical Logic Seminar

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

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.