Mid-Atlantic Mathematical Logic Seminar (MAMLS)

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

• 批准号: 1265631
• 负责人: Arthur Apter
• 金额: $ 7.2万
• 依托单位: CUNY Baruch College
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2013
• 资助国家: 美国
• 起止时间: 2013-09-01 至 2017-11-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1265631&HistoricalAwards=false
• 关键词: Mid; Atlantic; Mathematical; Logic; Seminar

The Mid-Atlantic Mathematical Logic Seminar (MAMLS) will have its firstconference of Academic Year 2013-2014 at Rutgers University in eitherSeptember or October 2013.MAMLS was formed in the fall of 1982 under the aegis of Lee Stanley andhas supported 2-4 regional meetings per year of 1-2 days' durationsince then. These meetings are held at various locations and cover a broadspectrum of mathematical logic, with particular emphasis oncomplexity theory, theoretical computer science, fragments ofarithmetic, pure and applied model theory, proof theory,recursion theory/computability theory, set theory, subsystems ofanalysis in accordance with the program of H. Friedman and S. Simpson,and topos theory. NSF support is provided for some of the expensesof the speakers and attendees, in particular of the graduatestudents and those without access to their own funding.Via the meetings sponsored, the MAMLS grant maintains thevitality of the field of mathematical logic. Special emphasis isplaced on enhancing the participation of younger researchers andmembers of traditionally underrepresented groups, especiallywomen. This is done by providing an intellectual forum in whichall interested persons are invited to contribute and in whichthere are lectures on current topics of research.Information about MAMLS may be found by visiting http://mamls.org

中大西洋数理逻辑研讨会（MAMLS）将于2013年9月或2013年10月在罗格斯大学举行2013-2014学年的第一次会议。MAMLS成立于1982年秋季，由李·斯坦利主持，自那时以来每年支持2-4次区域会议，为期1-2天。 这些会议是在不同的地点举行，涵盖了广泛的数理逻辑，特别强调复杂性理论，理论计算机科学，片段算术，纯和应用模型理论，证明理论，递归理论/可计算性理论，集合论，子系统的分析，按照H。Friedman和S.辛普森和托普斯理论。NSF资助演讲者和与会者的部分费用，特别是研究生和那些无法获得自己资金的人。通过赞助的会议，MAMLS资助保持了数理逻辑领域的活力。特别强调加强年轻研究人员和传统上代表性不足的群体，特别是妇女的参与。这是通过提供一个智力论坛来实现的，在这个论坛中，所有感兴趣的人都被邀请做出贡献，并且在这个论坛中，有关于当前研究主题的讲座。http://mamls.org