Mid-Atlantic Mathematical Logic Seminar (MAMLS)

1982年秋天，在Lee Stanley的支持下成立了中大西洋数理逻辑研讨会（MAMLS），从那时起，每年举办3-4次为期1-2天的区域会议。这些会议在不同的地点举行，涵盖了广泛的数学逻辑，特别强调复杂性理论，理论计算机科学，算术碎片，纯和应用模型理论，证明理论，递归理论，集合论，根据H.弗里德曼和S.辛普森计划的分析子系统，以及拓扑理论。NSF为演讲者和与会者，特别是研究生的一些费用提供支持。通过赞助的会议，MAMLS基金维持了数理逻辑领域的活力。特别强调加强年轻研究人员和传统上代表性不足的群体成员，特别是妇女的参与。这是通过提供一个智力论坛来实现的，所有感兴趣的人都被邀请参与其中，并在其中有关于当前研究主题的讲座。

The Mid-Atlantic Mathematical Logic Seminar (MAMLS), formed inthe fall of 1982 under the aegis of Lee Stanley, has supported 3-4regional meetings per year of 1-2 days' duration since then. Thesemeetings are held at various locations and cover a broad spectrum ofmathematical logic with particular emphasis on complexity theory,theoretical computer science, fragments of arithmetic, pure and appliedmodel theory, proof theory, recursion theory, set theory,subsystems of analysis in accordance with the program of H. Friedmanand S. Simpson, and topos theory. NSF support is provided for some of the expenses of the speakers and attendees, in particular of thegraduate students. Via the meetings sponsored, the MAMLS grant maintains thevitality of the field of mathematical logic. Special emphasis is placed on enhancing the participation of younger researchers andmembers of traditionally underrepresented groups, especially women.This is done by providing an intellectual forum in which all interestedpersons are invited to contribute and in which there are lectures oncurrent topics of research.