Mathematical Sciences: Mid-Atlantic Mathematical Logic Seminar

为中大西洋提供部分支助 数学逻辑研讨会。 MAMLS成立于1982年秋天。 在初选期间，它每年举行三到四次会议。 李·斯坦利的监督 每年四次会议 预计在未来三年内， 包括与其他组织联合举行的一些会议。 该研讨会涵盖了广泛的数学逻辑， 特别强调复杂性理论，理论计算机 科学，算术的片段，纯粹的和应用的模型理论， 集合论，按照子系统分析 H. Friedman和S.辛普森和托普斯理论。 主要为外部发言人提供支持。 还为研究生的旅费提供支助 和其他经常参加研讨会的人， 赠款，以及与组织和 举办研讨会，特别是邮寄费用（复印和邮资）。 MAMLS在1984-1985年得到了NSF的支持， 李·J·斯坦利在利哈伊的资助MCS 8201042的补充 大学，1985-1987年，获得DMS 8506058赠款，1987-1989年 通过资助DMS 8704751，以及自1989年以来在资助DMS 8907348下， 都去了利哈伊大学李·J·斯坦利任项目总监

Partial support is provided for the Mid-Atlantic Mathematical Logic Seminar. MAMLS was formed in the fall of 1982. It has been running three or four meetings a year under the primary supervision of Lee Stanley since that time. Four meetings per year are projected for the next three years, including some meetings held jointly with other organizations. The seminar covers a broad spectrum of mathematical logic with particular emphasis on complexity theory, theoretical computer science, fragments of arithmetic, pure and applied model theory, set theory, subsystems of analysis in accordance with the program of H. Friedman and S. Simpson, and topos theory. Support is provided primarily for outside speakers. Supportis also provided for travel expenses of graduate students and other regular seminar participants not supported by other grants, and for incidental expenses associated with organizing and running the seminar, notably mailing costs (copying and postage). MAMLS was supported by NSF in 1984-1985 through a supplement to Lee J. Stanley's grant MCS 8201042 at Lehigh University, in 1985-1987 under grant DMS 8506058, in 1987-1989 through grant DMS 8704751, and since 1989 under grant DMS 8907348, all to Lehigh University with Lee J. Stanley as project director.