Mid Atlantic Mathematical Logic Seminar (MAMLS)

1982年秋天在Lee Stanley的支持下成立的中大西洋数理逻辑研讨会（MAMLS）从那时起每年支持3-4次为期1-2天的区域会议。这些会议在不同的地点举行，涵盖了广泛的数学逻辑，特别强调复杂性理论、理论计算机科学、算术碎片、纯和应用模型理论、递归理论、集合论、根据H. Friedman和S. Simpson计划的分析子系统，以及拓扑理论。NSF支持演讲者和与会者的一些费用，特别是参加会议的研究生。

The Mid-Atlantic Mathematical Logic Seminar (MAMLS), formed in the fall of 1982 under the aegis of Lee Stanley, has supported 3-4 regional meetings per year of 1-2 days' duration since then. These meetings are held at various locations and cover a broad spectrum of mathematical logic with particular emphasis on complexity theory, theoretical computer science, fragments of arithmetic, pure and applied model theory, recursion theory, set theory, subsystems of analysis in accordance with the program of H. Friedman and S. Simpson, and topos theory. NSF support is provided for some of the expenses of the speakers and attendees, in particular of the graduate students who attend.