Mid-Atlantic Mathematical Logic Seminar

大西洋中部数理逻辑研讨会

• 批准号: 1834219
• 负责人: Russell Miller
• 金额: $ 5.59万
• 依托单位: CUNY Queens College
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2018
• 资助国家: 美国
• 起止时间: 2018-09-01 至 2024-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1834219&HistoricalAwards=false
• 关键词: Mid; Atlantic; Mathematical; Logic; Seminar

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.

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