Mathematical Sciences: Mid-Atlantic Mathematical Logic Seminar

中大西洋数理逻辑研讨会（MAMLS）成立于1982年秋。委员会在1982-83年和1983-84年各举行了三次会议。在1984-85年、1985-86年、1986- 87年、1987-88年和1988-89年，每年至少举行四次会议。研讨会涵盖了数学逻辑的广泛领域，特别强调复杂性理论和理论计算机科学、算术模型、模型理论和模型理论代数、集合论、分析子系统（H. Friedman和S. Simpson的“逆向数学”计划）和拓扑理论。

The Mid-Atlantic Mathematical Logic Seminar (MAMLS) was formed in the fall of 1982. It has held three meetings during each of 1982-83 and 1983-84. In each of 1984-85, 1985-86, 1986- 87, 1987-88, and 1988-89 at least four meetings were held. The seminar covers a broad spectrum of mathematical logic with particular emphasis on complexity theory and theoretical computer science, models of arithmetic, model theory and model theoretic algebra, set theory, sub-systems of analysis (the "reverse mathematics" program of H. Friedman and S. Simpson) and topos theory.