Mathematical Sciences: Mid-Atlantic Mathematical Logic Seminar

中大西洋数理逻辑研讨会（MAMLS） 成立于1982年秋天。 该委员会在1999年和1999年期间举行了三次会议， 1982-83年和1983-84年。 一九八四至八五年度、一九八五至八六年度、一九八六至 87年，1987-88年和1988-89年至少举行了四次会议。 该研讨会涵盖了广泛的数学逻辑 特别强调复杂性理论和理论 计算机科学，算术模型，模型论与模型 理论代数，集合论，分析的子系统（The H. Friedman和S.辛普森）和 Topos理论

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.